Frank de Boer

Identifiers

Open LibraryOL2769087A

Top Subjects

Verification (1)
Computer software (1)
Computer Science (1)
Parallel processing (Electronic computers) (1)
Data Processing - Parallel Processing (1)
Mathematical theory of computation (1)
Computer Programming (1)

Books by Frank de Boer

Total count: 4

Concurrency verificationintroduction to compositional and noncompositional methods1st edition

Cambridge University Press2001-01-15
FM 2015 : Formal Methods20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Springer London, Limited2015-01-01
It's All About CoordinationEssays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Springer2018-04-07
Software Engineering and Formal Methods18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings

Springer International Publishing AG2020-01-01