Frank S De Boer

2 books • 2 series

Dec 2004
Cover of Formal Methods for Components and Objects

Formal Methods for Components and Objects

Jul 9, 1991
Cover of Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs (Lecture Notes in Statistics) (Texts in Computer Science)