Data Refinement by Willem-Paul de Roever, Kai Engelhardt - 9780521103503

Designing Experiments and Analyzing Data: A Model Comparison Perspective, Th...

Data Refinement : Model-Oriented Proof Methods and Their Comparison, Hardcove...

Data Refinement: Model-Oriented Proof Methods and their Comparison by Willem-Pau

de Roever - Data Refinement Model-Oriented Proof Methods and Their Co - G555z

Programming Concepts and Methods: Ed. by David Gries and Willem-Paul de Roever

Balance and Refinement : Beyond Coherence Methods of Moral Inquir

Data Refinement : Model-Oriented Proof Methods and Their Comparison, Hardcove...