APA (7th ed.) Citation

Camilleri, A. J. (1988). Simulation as an aid to verification using the Hol theorem prover.

Chicago Style (17th ed.) Citation

Camilleri, Albert J. Simulation as an Aid to Verification Using the Hol Theorem Prover. Cambridge, 1988.

MLA (9th ed.) Citation

Camilleri, Albert J. Simulation as an Aid to Verification Using the Hol Theorem Prover. 1988.

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