A Complete Semantics of $\mathbb {K}$ and Its Translation to Isabelle.

Liyi Li, Elsa L. Gunter

Browse the full ICTAC paper archive.