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

Lightweight Reasoning about Program Correctness

โœ Scribed by Marsha Chechik; Wei Ding


Book ID
110401357
Publisher
Springer US
Year
2002
Tongue
English
Weight
316 KB
Volume
4
Category
Article
ISSN
1387-3326

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Formal Reasoning About Lazy-STM Programs
โœ Yong Li; Yu Zhang; Yi-Yun Chen; Ming Fu ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› Springer ๐ŸŒ English โš– 462 KB