Formal semantics for Ward & Mellor's transformation schemas

C. Petersohn, W.P. Roever, de, C. Huizing, J. Peleska

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings 6th Refinement Workshop of the BCS FACS Group (London, UK, January 5-7, 1994)
EditorsD. Till
Place of PublicationBerlin
ISBN (Print)3-540-19886-5
Publication statusPublished - 1994

Publication series

NameWorkshops in Computing

Cite this