APA način citiranja (7. izdanje)

(1998). Using model checking to generate tests from specifications / Paul E. Ammann, Paul E. Black, William Majurski.

Čikaški stil citiranja (17. izdanje)

Using Model Checking to Generate Tests from Specifications / Paul E. Ammann, Paul E. Black, William Majurski. 1998.

MLA način citiranja (9. izdanje)

Using Model Checking to Generate Tests from Specifications / Paul E. Ammann, Paul E. Black, William Majurski. 1998.