Skip to content
Vinony

W.-P. de Roever

No biography available.

Works (5)

Cover of Data refinement
Data refinement
1998
Cover of Stepwise refinement of distributed systems
Stepwise refinement of distributed systems
Cover of A Decade of concurrency
A Decade of concurrency
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
Cover of Data refinement
Data refinement