IMP2 – Simple Program Verification in Isabelle/HOL

From MaRDI portal


MaRDI QIDQ7361453FDO


Authors Peter Lammich, Simon Wimmer

Publication date 15 January 2019






Cited in
(1)


This page was built for software: IMP2 – Simple Program Verification in Isabelle/HOL

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=IMP2_–_Simple_Program_Verification_in_Isabelle/HOL&oldid=105366569"
Powered by MediaWiki