✦ LIBER ✦
Erratum: Volume 163, No. 1 (2000), in the article “Verification by Augmented Finitary Abstraction,” by Yonit Kesten and Amir Pnueli, pages 203–243
- Book ID
- 112252683
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 53 KB
- Volume
- 172
- Category
- Article
- ISSN
- 0890-5401
No coin nor oath required. For personal study only.