The VIP VDM Specification Language
- 1 January 1988
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 187-201
- https://doi.org/10.1007/3-540-50214-9_17
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Report on the larch shared languageScience of Computer Programming, 1986
- Structured algebraic specifications: A Kernel languageTheoretical Computer Science, 1986
- The glory of the pastLecture Notes in Computer Science, 1985
- Final report of the ANSI/X3/SPARC DBS-SG relational database task groupACM SIGMOD Record, 1982