Frank S. de Boer
Informatiker,
Philosoph
Geboren:
1956
Hat mitgewirkt an:
-
Formal methods for components and objects : 5th international symposium ; revised lectures
-
Formal methods for components and objects : 4th international symposium ; revised lectures
-
Techniques for the verification of dynamically typed programs
-
Formal methods for components and objects : 10th international symposium ; revised selected papers