by Jörg Brauer, Andy King, Stefan Kowalewski
Reference:
Bibtex Entry:
@article { BKK12, month = { July }, doi = { 10.1016/j.scico.2012.06.001 }, author = { Brauer, J{"o}rg and King, Andy and Kowalewski, Stefan }, title = { Abstract {I}nterpretation of {M}icrocontroller {C}ode: {I}ntervals meet {C}ongruences }, journal = { Science of Computer Programming }, year = { 2012 }, volume = { 77 }, publisher = { Elsevier }, publishedas = { Online Druck }, issn = { 0167-6423 }, i11key = { journal }, language = { eng }, url = { http://www.sciencedirect.com/science/article/pii/S0167642312001116" }, note = { To appear }, i11projectkey = { Arcade }, timestamp = { 2012.09.06 }, for_reporting_period = { 2012 }, }