Back to Results
First PageMeta Content
Model theory / First-order logic / Type / Hoare logic / Unification


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
UPDATE