Model checking software at compile time
Authors
NICTA
Abstract
BibTeX Entry
@inproceedings{Fehnker_HLRJ_07, author = {Fehnker, Ansgar and Huuck, Ralf and Lussenburg, Michel and Rauch, Felix and Jayet, Patrick}, booktitle = {TASE '07: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering}, month = jun, pages = {45--56}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/128.pdf}, title = {Model Checking Software at Compile Time}, year = {2007} }