![](/img/cover-not-exists.png)
[IEEE First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Shanghai, China (2007.06.6-2007.06.8)] First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Model Checking Software at Compile Time
Fehnker, Ansgar, Huuck, Ralf, Jayet, Patrick, Lussenburg, Michel, Rauch, FelixYear:
2007
Language:
english
DOI:
10.1109/tase.2007.34
File:
PDF, 238 KB
english, 2007