APA (7th ed.) Citation

Hoare, T. (2006). The ideal of verified software. ACM.

Chicago Style (17th ed.) Citation

Hoare, T. The Ideal of Verified Software. ACM, 2006.

MLA (9th ed.) Citation

Hoare, T. The Ideal of Verified Software. ACM, 2006.

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