Author

Eerke A. Boiten

2 books found

Cover of Mathematics of Program Construction

Mathematics of Program Construction

Eerke A. Boiten, Bernhard Möller · First published 2003

Cover of Refinement in Z and Object-Z

Refinement in Z and Object-Z

John Derrick, Eerke A. Boiten · First published 2001