W. P. De Roever

No biography available.

Works (5)

Cover of Stepwise refinement of distributed systems

Stepwise refinement of distributed systems

Cover of A Decade of concurrency

A Decade of concurrency

Cover of Foundations of object-oriented languages

Foundations of object-oriented languages

Cover of Real-time, theory in practice

Real-time, theory in practice

Cover of Semantics