Skip to content
Vinony

Willem-Paul de Roever

No biography available.

Works (6)

Cover of Formal methods for components and objects
Formal methods for components and objects
Cover of Formal methods for components and objects
Formal methods for components and objects
Cover of Data refinement
Data refinement
1998
Cover of Formal techniques in real-time and fault-tolerant systems
Formal techniques in real-time and fault-tolerant systems
Cover of Formal methods for components and objects
Formal methods for components and objects
Cover of Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency