Books by Eerke A. Boiten

Cover of Refinement in Z and Object-Z

Refinement in Z and Object-Z

by John Derrick, Eerke A. Boiten

2001

Cover of Mathematics of Program Construction

Mathematics of Program Construction

by Eerke A. Boiten, Bernhard Möller

2003

Can't find the book you're looking for? Let us know — it helps us improve.