gallery - springer978-3-642-11512-7/1.pdf · gallery 367 the de roever family jojanneke willem-paul...
TRANSCRIPT
Gallery
Hans Langmaack
346 Gallery
Antonio Cau
Gallery 347
Ben Lukoschus
348 Gallery
David Harel
Gallery 349
Dines Bjorner
350 Gallery
Ernst-Ruediger Olderog
Gallery 351
Frank Stomp
352 Gallery
Herman Ader
Gallery 353
Jan Peleska
354 Gallery
Job Zwiers
Gallery 355
Jozef Hooman
356 Gallery
Kai Engelhardt
Gallery 357
Karsten Stahl
358 Gallery
Kees Huizing
Gallery 359
Leslie Lamport
360 Gallery
Michael Siegel
Gallery 361
Olaf Owe
362 Gallery
Peter van Emde Boas
Gallery 363
R.K. Shyamasundar
364 Gallery
Ralf Huuck
Gallery 365
Rob Gerth
366 Gallery
Ruurd Kuiper and Ron Koymans as jonge doctors
Gallery 367
The de Roever family Jojanneke Willem-Paul and Corinne
368 Gallery
Yassine Lakhnech
Gallery 369
A suspenseful moment during the ceremony
Action shot during the retirement ceremony
370 Gallery
Allen Emerson
Amir Pnueli
Gallery 371
Coby Roscoe and Bill Roscoe
Erich Mikk
372 Gallery
Erik Krabbe
Erika Abraham
Gallery 373
Joseph Sifakis
Kirsten Kriegel
374 Gallery
Manfred Broy (at the 1989 REX Workshop at Hotel de Plasmolen Mook)
S. Ramesh
Gallery 375
Willem-Paul and Jojanneke
Frank de Boer
Author Index
Agarwal, Shivali 162
Balaban, Ittai 221Beerel, Peter A. 260Bjørner, Dines 22Boer, Frank S. de 127Broy, Manfred 118
Clarke, Dave 185Courant, Joudicael 300
Daubignard, Marion 300
Eir, Asger 22Emde Boas, Peter van 10Emerson, E. Allen 237Ene, Cristian 300Engelhardt, Kai 250
Fehnker, Ansgar 322
Harel, David 207Hooman, Jozef 142Huizing, Cornelis 66Huuck, Ralf 250, 322
Johnsen, Einar Broch 185Joshi, Prasad 260
Kantor, Amir 207Koymans, Ron 66Kuiper, Ruurd 66
Lafourcade, Pascal 300Lakhnech, Yassine 300Lamport, Leslie 60Langmaack, Hans 74
Maoz, Shahar 207
Olderog, Ernst-Rudiger 96Owe, Olaf 185
Peleska, Jan 277Pnueli, Amir 221Podelski, Andreas 96
Roncken, Marly 260
Seefried, Sean 322Shyamasundar, R.K. 162Sutherland, Ivan 260
Verhoef, Marcel 142
Zuck, Lenore D. 221