DK Report 2014-03, M. T. Khan
On the Soundness of the Translation of MiniMaple to Why3ML
dkreport14_03.pdf — PDF document, 670 KB (686613 bytes)