Willem P. de Roever
发表
Frank S. de Boer,
H. Tej,
Willem P. de Roever,
1996,
FTRTFT.
Willem P. de Roever,
1974,
MFCS.
Willem P. de Roever,
N. W. P. van Diepen,
1986,
Sci. Comput. Program..
Frank S. de Boer,
Willem P. de Roever,
Erika Ábrahám,
2006,
Electron. Notes Theor. Comput. Sci..
Frank S. de Boer,
Willem P. de Roever,
Ulrich Hannemann,
1999,
World Congress on Formal Methods.
Willem P. de Roever,
Frank A. Stomp,
Maty Sylla,
2005,
10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).
Marly Roncken,
Willem P. de Roever,
Rob Gerth,
1981,
GI Jahrestagung.
Willem P. de Roever,
Jan Peleska,
Carsta Petersohn,
1998
.
Willem P. de Roever,
W. D. Roever,
1981,
Logic of Programs.
Willem P. de Roever,
W. D. Roever,
1997,
COMPOS.
Willem P. de Roever,
Jan Peleska,
Carsta Petersohn,
1994,
EDCC.
Frank S. de Boer,
Willem P. de Roever,
Erika Ábrahám,
2005,
Theor. Comput. Sci..
Willem P. de Roever,
Antonio Cau,
1993,
FME.
Frank S. de Boer,
Willem P. de Roever,
Marcel Kyas,
2005,
Nord. J. Comput..
Willem P. de Roever,
Kai Engelhardt,
1993,
FME.
Marly Roncken,
Willem P. de Roever,
Rob Gerth,
1982,
Symposium on Programming.
C. A. R. Hoare,
Willem P. de Roever,
Nissim Francez,
1979,
J. Comput. Syst. Sci..
Willem P. de Roever,
2010,
Sci. Comput. Program..
Willem P. de Roever,
Frank A. Stomp,
W. P. Roever,
1987,
ICDCS.
Willem P. de Roever,
2016,
Theory and Practice of Formal Methods.
Manfred Nagl,
Manfred Broy,
Bernhard Rumpe,
2005,
Perspectives Workshop.
C. A. R. Hoare,
Willem P. de Roever,
Nissim Francez,
1978,
International Symposium on Mathematical Foundations of Computer Science.
Frank S. de Boer,
Willem P. de Roever,
Harald Fecher,
2006,
Electron. Notes Theor. Comput. Sci..
Willem P. de Roever,
2005,
VSTTE.
Willem P. de Roever,
Ron Koymans,
Jan Vytopil,
1983,
PODC '83.
Frank S. de Boer,
Willem P. de Roever,
Erika Ábrahám,
2003,
FMOODS.
Jozef Hooman,
Willem P. de Roever,
S. Ramesh,
1992,
Theor. Comput. Sci..
Pierre Wolper,
Dov M. Gabbay,
Amir Pnueli,
1990
.
Frank S. de Boer,
Willem P. de Roever,
Erika Ábrahám,
2002,
FMCO.
Design and verification in real-time distributed computing: an introduction to compositional methods
Jozef Hooman,
Willem P. de Roever,
1989,
PSTV.
Jozef Hooman,
Willem P. de Roever,
W. P. Roever,
1986,
Current Trends in Concurrency.
Willem P. de Roever,
Ruurd Kuiper,
R. Kuiper,
1982,
Formal Description of Programming Concepts.
Willem P. de Roever,
Kai Engelhardt,
1996,
MFCS.
Willem P. de Roever,
Peter van Emde Boas,
Job Zwiers,
1985,
ICALP.
Willem P. de Roever,
Frank A. Stomp,
Rob Gerth,
1989,
Inf. Comput..
Willem P. de Roever,
Jifeng He,
Qiwen Xu,
1997,
Formal Aspects of Computing.
Willem P. de Roever,
Stanley Lee,
Susan L. Gerhart,
1979,
POPL.
Willem P. de Roever,
Job Zwiers,
J. Zwiers,
1989,
PODC '89.
Frank S. de Boer,
Willem P. de Roever,
Erika Ábrahám,
2002,
FoSSaCS.
Willem P. de Roever,
2015,
Correct System Design.
Willem P. de Roever,
Michael Mendler,
Gerald Lüttgen,
2010,
Essays in Memory of Amir Pnueli.
Willem P. de Roever,
J. W. de Bakker,
J. W. Bakker,
1972,
ICALP.
Willem P. de Roever,
Rob Gerth,
Cornelis Huizing,
1987,
POPL '87.
Willem P. de Roever,
Nissim Francez,
Krzysztof R. Apt,
1980,
ACM Trans. Program. Lang. Syst..
Willem P. de Roever,
Johann A. Makowsky,
Nissim Francez,
1985,
Inf. Control..
Willem P. de Roever,
Harald Fecher,
Marcel Kyas,
2005,
ICFEM.
Willem P. de Roever,
Rob Gerth,
W. P. Roever,
1984,
Sci. Comput. Program..
Willem P. de Roever,
1973,
MFCS.
Frank S. de Boer,
Willem P. de Roever,
Ulrich Hannemann,
1997,
FSTTCS.
Willem P. de Roever,
Kai Engelhardt,
Kai Engelhardt,
1998,
Cambridge Tracts in Theoretical Computer Science.
Willem P. de Roever,
W. P. Roever,
1974,
ICALP.
Willem P. de Roever,
Antonio Cau,
A. Cau,
1993,
FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.
Willem P. de Roever,
Frank A. Stomp,
W. P. Roever,
1994,
Formal Aspects of Computing.
Willem P. de Roever,
Job Zwiers,
Arie de Bruin,
1983,
Logic of Programs.
Jozef Hooman,
Frank S. de Boer,
Willem P. de Roever,
2001,
Cambridge Tracts in Theoretical Computer Science.
Frank S. de Boer,
Willem P. de Roever,
Ulrich Hannemann,
1999,
MFCS.
Willem P. de Roever,
R. K. Shyamasundar,
Ron Koymans,
1985,
Inf. Comput..
Jozef Hooman,
Frank S. de Boer,
Willem P. de Roever,
2000,
FBT.
Willem P. de Roever,
W. P. Roever,
1977,
ICALP.
Willem P. de Roever,
Yassine Lakhnech,
Job Zwiers,
1995,
FSTTCS.
Willem P. de Roever,
Job Zwiers,
J. Coenen,
1992,
Refine.
Frank S. de Boer,
Willem P. de Roever,
Ulrich Hannemann,
1997,
FME.
Willem P. de Roever,
R. K. Shyamasundar,
Ron Koymans,
1985,
Logic of Programs.
Willem P. de Roever,
W. D. Roever,
1976,
Mathematical Centre Tracts.
Willem P. de Roever,
Job Zwiers,
J. Zwiers,
1987,
Temporal Logic in Specification.
Willem P. de Roever,
Cornelis Huizing,
W. P. Roever,
1991,
Inf. Process. Lett..
Willem P. de Roever,
Frank A. Stomp,
W. P. Roever,
1989,
WDAG.
Willem P. de Roever,
Antonio Cau,
A. Cau,
1997,
EUROCAST.
Willem P. de Roever,
Yassine Lakhnech,
Job Zwiers,
1996,
FME.
Frank S. de Boer,
Willem P. de Roever,
1997,
COMPOS.
Willem P. de Roever,
Ron Koymans,
R. Koymans,
1983,
The Analysis of Concurrent Systems.
Frank S. de Boer,
Willem P. de Roever,
Erika Ábrahám,
2003,
Verification: Theory and Practice.
Willem P. de Roever,
Kai Engelhardt,
2005,
Formal Aspects of Computing.
Frank S. de Boer,
Willem P. de Roever,
Erika Ábrahám,
2008,
Fundam. Informaticae.
Willem P. de Roever,
W. D. Roever,
1975,
MFCS.
Amir Pnueli,
Willem P. de Roever,
Hans Langmaack,
1997
.
Willem P. de Roever,
Susan Gerhart,
S. Gerhart,
1979
.