Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

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