Willem-Paul de Roever
Willem-Paul de Roever
2 books in the database
Books
Linear Time, Branching Time and Partial Order in Logics and Models for ConcurrencyWillem-Paul de Roever
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Willem-Paul de Roever · 1989
Compositionality : the Significant DifferenceWillem-Paul de Roever
Compositionality : the Significant Difference
Willem-Paul de Roever · 2003
Co-authored books and collections
Books that list Willem-Paul de Roever among their authors but not as the lead author: co-written works, collections and compilations.
Formal methods for components and objectsFrank S. de Boer
Formal methods for components and objects
Frank S. de Boer · 2003
Formal methods for components and objectsMarcello M. Bonsangue
Formal methods for components and objects
Marcello M. Bonsangue · 2006
Formal methods for components and objectsFrank S. de Boer
Formal methods for components and objects
Frank S. de Boer · 2005
Concurrency verificationW.-P. de Roever
Concurrency verification
W.-P. de Roever · 2001
Data refinementW.-P. de Roever
Data refinement
W.-P. de Roever · 1998