AuthorsJ. E. Hannay
TitleRelative Equational Specification and Semantics
StatusPublished
Publication TypeTechnical reports
Year of Publication1997
NumberECS-LFCS-97-366
PublisherUniversity of Edinburgh
Notes

Technical report

Citation KeySE.7.Hannay.1997