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