booktheque

Eerke A. Boiten

1 books in the database

Books

Mathematics of Program Construction
Eerke A. Boiten · 2003

Co-authored books and collections

Books that list Eerke A. Boiten among their authors but not as the lead author: co-written works, collections and compilations.

Refinement in Z and Object-Z
John Derrick · 2001
Refinement in Z and Object-Z
John Derrick · 2001