A Presentation of the Specification and Verification Project "ABEL.". by Universitetet i Oslo. Institute for Informatics | Menrva Books | MenrvaBooks