Formal Techniques for Specification and Validation of Tactical Systems.
Final technical rept.
MASSACHUSETTS COMPUTER ASSOCIATES INC WAKEFIELD
Pagination or Media Count:
Contents Object-Oriented Subsystem Specification An Experiment with an Approach to Formal Specifications Papers on Z, Programming Research Group, Oxford University.
- Computer Programming and Software
- Computer Systems