Frank de Boer

No bio available. Add one in Open Library.

Books by Frank de Boer (50 max)

+ 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

FM 2015 : Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

2015

Nikolaj Bjørner, Frank de Boer

+ shelf+ list

It's All About Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2018

Frank de Boer, Marcello Bonsangue, Jan Rutten

+ shelf+ list

Software Engineering and Formal Methods 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings

2020

Frank de Boer, Antonio Cerone