Verification-based software-fault detection
Christoph David Gladisch
Karlsruher Institut Fur Technologie
2014
pokkari