by Jörg Brauer, Andy King, Stefan Kowalewski
Reference:
Abstract interpretation of microcontroller code: Intervals meet congruences (Jörg Brauer, Andy King, Stefan Kowalewski), In Science of Computer Programming. Methods of Software Design: Techniques and Applications, Elsevier, volume 78, issue 7, 2013.
Bibtex Entry:
@article { BKK13,
author = { Brauer, J{"o}rg and King, Andy and Kowalewski, Stefan },
title = { Abstract interpretation of microcontroller code: Intervals
meet congruences },
journal = { Science of Computer Programming. Methods of Software Design:
Techniques and Applications },
year = { 2013 },
volume = { 78, issue 7 },
pages = { 862--883 },
publisher = { Elsevier },
publishedas = { Druck },
issn = { 0167-6423 },
i11key = { journal },
language = { eng },
timestamp = { 2013.07.08 },
i11projectkey = { Arcade },
for_reporting_period = { 2013 },
}