Pushouts of Order-sorted Algebraic Specifications
A. E. Haxthausen, F. Nickl
Type
Technical report
Year
1996
Publisher
ISBN / ISSN
Technischer Bericht 9601
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering