Browse
FAQ

Author

Eerke Boiten

4 books found

Cover of Refinement

Refinement

John Derrick, Eerke Boiten · First published 2018

Cover of Integrated formal methods

Integrated formal methods

Eerke Boiten, John Derrick, Graeme Smith · First published 2004

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