Frank S. de Boer profile picture

Frank S. de Boer

Is this your author profile? Create an account to customize it!

Stand Alone

Formal methods for components and objects
Formal methods for components and objects
Formal Methods for Components and Objects
Formal Methods for Components and Objects Lecture Notes in Computer Science
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Theoretical Computer Science 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Software Engineering and Formal Methods