An extension of the program derivation format

DSpace/Manakin Repository

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

(1998) Utrecht University Repository

(Part of book or chapter of book)

Download/Full Text

Keywords: program derivation, predicate calculus, data refinement

Publisher: Chapman & Hall

See more statistics about this item