Olaf Owe profile picture

Olaf Owe

Is this your author profile? Create an account to customize it!

Stand Alone

Fundamentals Of Computation Theory 18th International Symposium Proceedings
Preliminary Report on the Specification and Programming Language ABEL
On the Use of Subtypes in ABEL Revised Version
Generator Induction in Order Sorted Algebras
Recent Trends in Data Type Specification 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers
Formal Development with ABEL.
Fundamentals of Computation Theory
An Alias-free Object Oriented Language Concept
From Object-Orientation to Formal Methods
From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl
Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
An Approach to Program Reasoning Based on a First Order Logic for Partial Functions