An extension of the program derivation format
Publication date
1998
Authors
Gasteren, A.J.M. van
Bijlsma, A.
Editors
Advisors
Supervisors
DOI
Document Type
Part of book or chapter of book
Metadata
Show full item recordCollections
License
Abstract
Keywords
program derivation, predicate calculus, data refinement