Willem-Paul de Roever

No bio available. Add one in Open Library.

Books by Willem-Paul de Roever (50 max)

+ shelf+ list

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science)

2004

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

+ shelf+ list

Data refinement: model-oriented proof methods and their comparison

1998

W.-P. de Roever, Willem-Paul de Roever, Kai Engelhardt

+ shelf+ list

Concurrency verification: introduction to compositional and noncompositional methods

2001

W.-P. de Roever, Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

+ shelf+ list

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)

2006

Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

+ shelf+ list

Linear time, branching time, and partial order in logics and models for concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988

1989

Willem-Paul de Roever, Grzegorz Rozenberg, J. W. de Bakker, W.-P. de Roever

+ shelf+ list

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science)

2003

Frank S. de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever

+ shelf+ list

Formal techniques in real-time and fault-tolerant systems.

1994

Hans Langmaack, Willem-Paul de Roever, Jan Vytopil

+ shelf+ list

Compositionality : the Significant Difference International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

2003

Willem-Paul de Roever, Hans Langmaack, Amir Pnueli