W.-P. de Roever
4 published titles
Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12 1997 : revised lectures
(Contributor)
1 edition
- ISBN: 3540654933
- Springer
- 1998
- Details
Programming concepts and methods : PROCOMET '98 : IFIP TC2 /WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA
(Contributor)
1 edition
- ISBN: 0412837609
- Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
- 1998
- Details
Data refinement : model-oriented proof methods and their comparison
1 edition
- ISBN: 0521641705
- Cambridge University Press
- 1998
- Details
Concurrency verification : introduction to compositional and noncompositional methods
(Contributor)
1 edition
- ISBN: 0521806089
- Cambridge University Press
- 2001
- Details
