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
PublisherSpringer
ISBN (Print)3-540-19886-5
Publication statusPublished - 1994

Publication series

NameWorkshops in Computing

Cite this

Petersohn, C., Roever, de, W. P., Huizing, C., & Peleska, J. (1994). Formal semantics for Ward & Mellor's transformation schemas. In D. Till (Ed.), Proceedings 6th Refinement Workshop of the BCS FACS Group (London, UK, January 5-7, 1994) (Workshops in Computing). Springer.