Foundation of program verification - Loeckx Jaqcaues; Sieber Kurt; Stansifer Ryan D (Chicheter John Wiley, 1984)
Keywords: Computer program language; Computer science