APA (7th ed.) Citation

Francez, N. (1992). Program verification. Addison-Wesley.

Chicago Style (17th ed.) Citation

Francez, Nissim. Program Verification. Wokingham: Addison-Wesley, 1992.

MLA (9th ed.) Citation

Francez, Nissim. Program Verification. Addison-Wesley, 1992.

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