✦ LIBER ✦
An overview of some formal methods for program design: Hoare, C A RIEEE Comput. Vol 20 No 9 (September 1987) pp 85–91
- Publisher
- Elsevier Science
- Year
- 1987
- Tongue
- English
- Weight
- 106 KB
- Volume
- 11
- Category
- Article
- ISSN
- 0141-9331
No coin nor oath required. For personal study only.