✦ LIBER ✦
Static checking of variable handling in Dijkstra's Guarded Commands language
✍ Scribed by Paul A. Bailes
- Book ID
- 113230290
- Publisher
- Elsevier Science
- Year
- 1986
- Tongue
- English
- Weight
- 714 KB
- Volume
- 11
- Category
- Article
- ISSN
- 0096-0551
No coin nor oath required. For personal study only.