APA-Zitierstil (7. Ausg.)

(1997). Generating test templates via automated theorem proving / by Mani Prasad Kancherla.

Chicago-Zitierstil (17. Ausg.)

Generating Test Templates via Automated Theorem Proving / by Mani Prasad Kancherla. 1997.

MLA-Zitierstil (9. Ausg.)

Generating Test Templates via Automated Theorem Proving / by Mani Prasad Kancherla. 1997.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.