Loeckx, J., Sieber, K., & Stansifer, R. D. (1984). The foundations of program verification. B.G. Teubner ; Wiley.
Citace podle Chicago (17th ed.)Loeckx, Jacques, Kurt Sieber, a Ryan D. Stansifer. The Foundations of Program Verification. Stuttgart [Germany] : Chichester ; New York: B.G. Teubner ; Wiley, 1984.
Citace podle MLA (8th ed.)Loeckx, Jacques, et al. The Foundations of Program Verification. B.G. Teubner ; Wiley, 1984.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..