APA引文

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引文

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

警告：這些引文格式不一定是100％准確.