APA (7th ed.) Citation

Coen-Porisini, A. Using symbolic execution for verifying safety-critical systems. Software engineering notes..

Chicago Style (17th ed.) Citation

Coen-Porisini, Alberto. "Using Symbolic Execution for Verifying Safety-critical Systems." Software Engineering Notes. .

MLA (9th ed.) Citation

Coen-Porisini, Alberto. "Using Symbolic Execution for Verifying Safety-critical Systems." Software Engineering Notes., .

Warning: These citations may not always be 100% accurate.