W
Willem-Paul de Roever
6 works on record
Works

Data refinement
1998

Formal methods for components and objects

Formal techniques in real-time and fault-tolerant systems

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Concurrency verification
Concurrency verification
Compositionality : the Significant Difference
Compositionality : the Significant Difference