Back to Results
First PageMeta Content



Isabelle/Isar — a versatile environment for human-readable formal proof documents Markus M. Wenzel Lehrstuhl f¨ur Software & Systems Engineering Institut f¨
Add to Reading List

Open Document

File Size: 1,82 MB

Share Result on Facebook
UPDATE