Home
About us
Stories
Catalog
Media
Home
Catalog
Authors
Willem-Paul de Roever
Willem-Paul de Roever
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
7
Formal methods for components and objects
Concurrency verification
Formal techniques in real-time and fault-tolerant systems
Compositionality : the Significant Difference
Data refinement
Formal methods for components and objects
Formal methods for components and objects
