Minuska: Towards a Formally Verified Programming Language Framework.

Jan Tusil, Jan Obdrzlek

Browse the full SEFM paper archive.