Coen-Porisini, A. Using symbolic execution for verifying safety-critical systems. Software engineering notes..
Chicago Style (17th ed.) CitationCoen-Porisini, Alberto. "Using Symbolic Execution for Verifying Safety-critical Systems." Software Engineering Notes. .
MLA (9th ed.) CitationCoen-Porisini, Alberto. "Using Symbolic Execution for Verifying Safety-critical Systems." Software Engineering Notes., .
Warning: These citations may not always be 100% accurate.