Willem-Paul De Roever
Roever Willem-Paul De, Engelhardt Kai:
Data Refinement
Model-Oriented Proof Methods And Their Comparison
Cambridge University Press (United Kingdom), 2009
Paperback, 436 pages
Compositionality: The Significant Difference (V. 1536)
International Symposium, Compos'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures
Editor: Willem-Paul De Roever
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 1998
Paperback, 655 pages


