The foundations of program verification /

The foundations of program verification /

57

Bibliographic Details
Main Authors: Loeckx, Jacques, 1931-, Sieber, Kurt
Format:
Published: Chichester : John Wiley, 1984
Subjects:
Computer programs
Description
Summary:57

Similar Items