Coen-Porisini, A. Using symbolic execution for verifying safety-critical systems. Software engineering notes..
Chicago-Zitierstil (17. Ausg.)Coen-Porisini, Alberto. "Using Symbolic Execution for Verifying Safety-critical Systems." Software Engineering Notes. .
MLA-Zitierstil (9. Ausg.)Coen-Porisini, Alberto. "Using Symbolic Execution for Verifying Safety-critical Systems." Software Engineering Notes., .
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.