Towards a Structured Specification Language for Database Applications

Publisher Website

1 January 1992

book chapter
Published by Springer Nature

p. 255-274
https://doi.org/10.1007/978-1-4471-3864-8_14

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Equational Specification of Partial Higher Order Algebras
Published by Springer Nature ,1987
The Vienna Development Method: The Meta-Language
Lecture Notes in Computer Science, 1978