by Jörg Brauer, Rene Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen
Reference:
Adaptable Value-Set Analysis for Low-Level Code (Jörg Brauer, Rene Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen), In 6th International Workshop on Systems Software Verification (SSV 2011), Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, 2012.
Bibtex Entry:
@inproceedings { BHK+12,
author = { Brauer, J{"o}rg and Hansen, Rene Rydhof and Kowalewski,
Stefan and Larsen, Kim G. and Olesen, Mads Chr. },
title = { Adaptable Value-Set Analysis for Low-Level Code },
booktitle = { 6th International Workshop on Systems Software Verification
(SSV 2011) },
publisher = { Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik },
publishedas = { Druck Online },
isbn = { 978-3-939897-36-1 },
issn = { 2190-6807 },
language = { eng },
pages = { 32--43 },
year = { 2012 },
timestamp = { 2011.07.01 },
i11key = { conference },
url = { http://dx.doi.org/10.4230/OASIcs.SSV.2011.32 },
for_reporting_period = { 2011 },
}