A natural method of proving properties of programs
By: Józef Winkowski
Series: Reports - Computation Centre, Polish Academy of Sciences -- 199; Prace CO PAN -- v.199
Publisher: PKiN
Published: 1975
Place of publication: Warsaw
Language: eng
Number of pages: 29
Notes: Summary in English, Russian and Polish.