Olaf Owe

• ANNA A Language for Annotating Ada Programs
• From object-orientation to formal methods
• Fundamentals of Computation Theory
• Fundamentals Of Computation Theory 18th International Symposium Proceedings