Isabelle Isar — a versatile environment for human-readable formal proof documents Markus M. Wenzel Lehrstuhl f¨ur Software - Business Development Asia - Document - PDFSEARCH.IO

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 List Source URL: mediatum.ub.tum.de Download Document from Source Website File Size: 1,82 MB Share Document on Facebook