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 }, }