๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Axiomatic proofs of total correctness of programs

โœ Scribed by N. Soundararajan


Book ID
113162129
Publisher
Elsevier Science
Year
1979
Tongue
English
Weight
511 KB
Volume
8
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Correctness proofs of CSP programs
โœ N. Soundararajan ๐Ÿ“‚ Article ๐Ÿ“… 1983 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 948 KB