First Page | Document 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 ListSource URL: mediatum.ub.tum.deDownload Document from Source WebsiteFile Size: 1,82 MBShare Document on Facebook |