APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.