Frank S. de Boer

No bio available. Add one in Open Library.

Books by Frank S. de Boer (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

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 Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

2010

Frank S. de Boer

+ shelf+ list

Formal Methods for Components and Objects Lecture Notes in Computer Science

2009

Frank S. de Boer

+ shelf+ list

Verification of Sequential and Concurrent Programs

2010

Krzysztof Apt, Frank S. de Boer, Amir Pnueli