A computerized system of proving properties of programs
By: Elżbieta Ramm, Edmund Woronowicz.
Contributors: Woronowicz, Edmund.
Series: Prace IPI Pan = ICS Pas reports,; 403; Prace IPI Pan ;; 403.
Publisher: Institute of Computer Science, Polish Academy of Sciences
Published: 1980
Place of publication: Warsaw
Language: eng
Number of pages: 14
Subjects: Computer programs -- Validation.
Notes: Bibliography: p. 14.
Summary in Polish and Russian.