An extension of the program derivation format

A.J.M. Gasteren, van, A. Bijlsma

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

Original languageEnglish
Title of host publicationProgramming Concepts and Methods (Proceedings IFIP TC2/WG2.2,2.3 International Conference, PROCOMET'98, Shelter Island NY, USA, June 8-12, 1998)
EditorsD. Gries, W.P. Roever, de
Place of PublicationLondon
PublisherChapman & Hall
ISBN (Print)0-412-83760-9
Publication statusPublished - 1998

Publication series

NameIFIP Conference Proceedings
ISSN (Print)1571-5736

Cite this