✦ LIBER ✦
Towards a Formal Verification of a Secure and Distributed System and its Applications : Cui Zhang, Rob Shaw, Mark Heckman, Gregory Benson, Myla Archer, Karl Levitt and Ronald Olsson, Dept. Computer Science, University of California, Davis, CA
✍ Scribed by Harold Joseph Highland
- Book ID
- 103577220
- Publisher
- Elsevier Science
- Year
- 1995
- Tongue
- English
- Weight
- 126 KB
- Volume
- 14
- Category
- Article
- ISSN
- 0167-4048
No coin nor oath required. For personal study only.