Recursive Algebraic Specifications and their Semantics
A. E. Haxthausen
Type
Conference paper [With referee]
Conference
Proceedings of the IFIP'89
Year
1989
Publisher
North-Holland
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering