by Bastian Schlich, Stefan Kowalewski
Reference:
Model Checking C Source Code for Embedded Systems (Bastian Schlich, Stefan Kowalewski), In International Journal on Software Tools for Technology Transfer (STTT), Springer, volume 11, 2009.
Bibtex Entry:
@article { SK09, author = { Schlich, Bastian and Kowalewski, Stefan }, doi = { 10.1007/s10009-009-0106-5 }, issn = { 1433-2779 }, journal = { International Journal on Software Tools for Technology Transfer (STTT) }, number = { 3 }, pages = { 187--202 }, publisher = { Springer }, read = { No }, title = { Model Checking {C} Source Code for Embedded Systems }, volume = { 11 }, year = { 2009 }, i11key = { journal }, for_reporting_period = { Old }, }