Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

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

Citace podle MLA (9th ed.)

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..