Implicit Specification by Algebraic Domain Equations

TitleImplicit Specification by Algebraic Domain Equations
Publication TypeMagazine Article
Year of Publication1981
AuthorsEhrich, H. - D.
MagazineEATCS Bulletin
Volume13
Pagination45-51
AttachmentSize
1981EATCS.pdf341.1 KB