Dykstra, J. Software verification and validation with destiny: A parallel approach to automated theorem proving. Crossroads : the ACM student magazine..
Chicago-Zitierstil (17. Ausg.)Dykstra, Josiah. "Software Verification and Validation with Destiny: A Parallel Approach to Automated Theorem Proving." Crossroads : The ACM Student Magazine. .
MLA-Zitierstil (9. Ausg.)Dykstra, Josiah. "Software Verification and Validation with Destiny: A Parallel Approach to Automated Theorem Proving." Crossroads : The ACM Student Magazine., .
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.