Loeckx, Jacques
The foundations of program verification / Jacques Loeckx, Kurt Sieber. - 2nd ed. - Chichester, UK : John Wiley & Sons , cop. 1987 . - IX, 230 p. : il. ; 24 cm. - (Wiley-Teubner series in computer science)
ISBN 0-471-91282-4
Software
LCC QA76.6
The foundations of program verification / Jacques Loeckx, Kurt Sieber. - 2nd ed. - Chichester, UK : John Wiley & Sons , cop. 1987 . - IX, 230 p. : il. ; 24 cm. - (Wiley-Teubner series in computer science)
ISBN 0-471-91282-4
Software
LCC QA76.6