Releases by De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany)

Cover for De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany) · Data Refinement: Model-Oriented Proof Methods and their Comparison - Cambridge Tracts in Theoretical Computer Science (Paperback Book) (2008)
Paperback Book
Data Refinement: Model-Oriented ...
De Roever, Willem-paul (Christia...
Cover for De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany) · Data Refinement: Model-Oriented Proof Methods and their Comparison - Cambridge Tracts in Theoretical Computer Science (Hardcover Book) (1998)
Hardcover Book
Data Refinement: Model-Oriented ...
De Roever, Willem-paul (Christia...