Most Popular Books
- Data Refinement: Model-Oriented Proof Methods and their Comparison
- Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
- Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods
- Compositionality: The Significant Difference: International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures (Lecture Notes in Computer Science)
Series By Willem-Paul de Roever
