Skip to content. | Skip to navigation

Site Map

Navigation

Personal tools

Log in

You are here: Home / Publications / DK Report Series / DK Report 2014-03, M. T. Khan

DK Report 2014-03, M. T. Khan

On the Soundness of the Translation of MiniMaple to Why3ML

PDF document icon dkreport14_03.pdf — PDF document, 670 KB (686613 bytes)

News: Philipp Nuspl succesfully defended his thesis - Sincere congratulations! Jun 27, 2023; Koustav Banerjee defended his thesis in excellent fashion - Many congratulations! Dec 13, 2022; Gargi Mukherjee successfully defended her thesis - Many congratulations! Jun 29, 2022; More news…

Recent Publications: DK Report 2022-07, G. Mukherjee; DK Report 2022-06, G. Mukherjee; DK Report 2022-05, G. Mukherjee; Recent Publications - More…

Powered by Plone