The foundations of program verification
Loeckx, Jacques.
Sieber, Kurt.
Stansifer, Ryan D.
Stuttgart Teubner Chichester Wiley
c1987
Previous ed.: 1984
Includes index
Computer programs