O. Owe profile picture

O. Owe

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

Stand Alone

A Presentation of the Specification and Verification Project "ABEL.".