Back to Search
Start Over
Book Reviews.
- Source :
- Software Testing: Verification & Reliability; Mar2001, Vol. 11 Issue 1, p55-58, 4p
- Publication Year :
- 2001
-
Abstract
- Reviews the book "Formal Object-Oriented Specification Using Object-Z," by Roger Duke and Gordon Rose.
- Subjects :
- SYSTEMS software
Subjects
Details
- Language :
- English
- ISSN :
- 09600833
- Volume :
- 11
- Issue :
- 1
- Database :
- Complementary Index
- Journal :
- Software Testing: Verification & Reliability
- Publication Type :
- Review
- Accession number :
- 13510115
- Full Text :
- https://doi.org/10.1002/stvr.216