APA (7th ed.) Citation

(1993). Program verification: Fundamental issues in computer science. KLuwer.

Chicago Style (17th ed.) Citation

Program Verification: Fundamental Issues in Computer Science. Dordrecht: KLuwer, 1993.

MLA (9th ed.) Citation

Program Verification: Fundamental Issues in Computer Science. KLuwer, 1993.

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