Cita APA

Loeckx, J., Sieber, K., & Stansifer, R. D. (1987). The foundations of program verification B.G. Teubner ; Wiley.

Citación estilo Chicago

Loeckx, Jacques, Kurt Sieber, and Ryan D. Stansifer. The Foundations of Program Verification. 2nd ed. Stuttgart : Chichester [West Sussex] ; New York: B.G. Teubner ; Wiley, 1987.

Cita MLA

Loeckx, Jacques, Kurt Sieber, and Ryan D. Stansifer. The Foundations of Program Verification. 2nd ed. Stuttgart : Chichester [West Sussex] ; New York: B.G. Teubner ; Wiley, 1987.