Frank S. de Boer

• Formal Methods for Components and Objects Lecture Notes in Computer Science
• Formal methods for components and objects
• Formal Methods for Components and Objects
• Formal methods for components and objects
• Verification of Sequential and Concurrent Programs