Skip to content. | Skip to navigation

Site Map

Navigation

Personal tools

Log in

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

DK-Report 2012-06, M.T. Khan

Formal Semantics of a Specification Language for MiniMaple

PDF document icon dkreport12-06.pdf — PDF document, 624 KB (639753 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