A survey of imput-output semantics and program verification
By: Andrzej Blikle.
Series: ICS PAS reports ; 344; Prace IPI PAN ;; 344.
Publisher: Institute of Computer Science, Polish Academy of Sciences
Published: 1979
Place of publication: Warsaw
Language: eng
Number of pages: 64
Subjects: Programming languages (Electronic computers) -- Semantics.; Computer programs -- Verification.
Notes: Bibliography: p. 60-64.
Summaries in Polish and Russian.