APA-Zitierstil (7. Ausg.)

Wong, W. (1993). Formal verification of VIPER's ALU.

Chicago-Zitierstil (17. Ausg.)

Wong, Wai. Formal Verification of VIPER's ALU. Cambridge, 1993.

MLA-Zitierstil (9. Ausg.)

Wong, Wai. Formal Verification of VIPER's ALU. 1993.

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