Olaf Owe

No biography available.

Works (3)

Cover of ANNA A Language for Annotating Ada Programs

ANNA A Language for Annotating Ada Programs

Cover of From object-orientation to formal methods

From object-orientation to formal methods

Cover of Fundamentals Of Computation Theory 18th International Symposium Proceedings

Fundamentals Of Computation Theory 18th International Symposium Proceedings