Universitetet i Oslo. Institute for Informatics profile picture

Universitetet i Oslo. Institute for Informatics

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

Stand Alone

Subtyping and Constructive Specification
Object Orientation and Formal Techniques
Monitors Revisited
Hoare-style Parallel Programming: Foils for a Student Course, IN305
On Introducing Higher Order Functions in ABEL.
Formal Development with ABEL.
An Approach to Program Reasoning Based on a First Order Logic for Partial Functions
A Presentation of the Specification and Verification Project "ABEL.".