A Presentation of the Specification And Verification Project “ABEL”∗ Ole-Johan Dahl and Olaf Owe Department of Informatics University of Oslo Norway - Unification - Document - PDFSEARCH.IO

First Page	Meta Content
	A Presentation of the Specification And Verification Project “ABEL”∗ Ole-Johan Dahl and Olaf Owe Department of Informatics University of Oslo Norway Add to Reading List Document Date: 2015-09-03 07:24:29 Open Document File Size: 209,03 KB Share Result on Facebook

A Presentation of the Specification And Verification Project “ABEL”∗ Ole-Johan Dahl and Olaf Owe Department of Informatics University of Oslo NorwayAdd to Reading List