Eberhard Karls Universität Tübingen

Mathematisch-Naturwissenschaftliche FakultätProgramming Languages and Software Technology

Engineering Abstractions in Model Checking and Testing

Author's version
scam09.pdf

by Michael Achenbach and Klaus Ostermann

In Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM’09), 2009.