توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

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

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

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., .