Formal Specification and Documentation Using Z: A Case Study Approach
No ratings yet
1996
·
English
·
Paperback