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引文Coen-Porisini, Alberto. "Using Symbolic Execution for Verifying Safety-critical Systems." Software Engineering Notes., .
警告:這些引文格式不一定是100%准確.