Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch. Model Checking Software at Compile Time. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China. pages 45-56, IEEE Computer Society, 2007. [doi]
@inproceedings{FehnkerHJLR07, title = {Model Checking Software at Compile Time}, author = {Ansgar Fehnker and Ralf Huuck and Patrick Jayet and Michel Lussenburg and Felix Rauch}, year = {2007}, doi = {10.1109/TASE.2007.34}, url = {http://doi.ieeecomputersociety.org/10.1109/TASE.2007.34}, tags = {model checking, meta-model, compiler, Meta-Environment}, researchr = {https://researchr.org/publication/FehnkerHJLR07}, cites = {0}, citedby = {0}, pages = {45-56}, booktitle = {First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China}, publisher = {IEEE Computer Society}, }