CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification
- Author
- Răzvan DiaconescuKokichi Futatsugi
- Publisher
- World Scientific
- Language
- English
- Year
- 1998
- Page
- 196
- ISBN
- 9810235135,9789810235130
- File Type
- djvu
- File Size
- 1.1 MiB
How to Download?!!!
Just click on START button on Telegram Bot