Searching for "Abstract Data Type Specification in the AFFIRM System." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
A Mechanical Verification of the Alternating Bit Protocol
- …. R., "Abstract Data Type Specification in the Affirm System," IEEE Trans. Software Eng., vol. SE-6…
- Cited by 2 (0 self) – Add To MetaCart
-
Measures and Techniques for Software Quality Assurance
- …, New York, NY, 1987. [94] David R. Musser. Abstract data type specification in the AFFIRM system. IEEE…
- Add To MetaCart
-
Quality Measures and Assurance for AI Software
- …-1071. [82] J. V. Guttag and J. J. Horning. The algebraic specification of abstract data types. Acta…
- Cited by 4 (1 self) – Add To MetaCart
Showing 1 through 3.
