An extended approach to mathematical analysis of programs
By: Andrzej Blikle
Series: Reports - Computation Centre, Polish Academy of Sciences -- 169; CC PAS reports -- v.169
Publisher: PKiN
Published: 1974
Place of publication: Warszawa
Language: eng
Number of pages: 118
Notes: Summary in English, Russian and Polish.