Citace podle APA (7th ed.)

Dykstra, J. Software verification and validation with destiny: A parallel approach to automated theorem proving. Crossroads : the ACM student magazine..

Citace podle Chicago (17th ed.)

Dykstra, Josiah. "Software Verification and Validation with Destiny: A Parallel Approach to Automated Theorem Proving." Crossroads : The ACM Student Magazine. .

Citace podle MLA (9th ed.)

Dykstra, Josiah. "Software Verification and Validation with Destiny: A Parallel Approach to Automated Theorem Proving." Crossroads : The ACM Student Magazine., .

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