Search: Systematic Verification Of The Modal Logic Cube
2015
[1]Systematic Verification of the Modal Logic Cube in Isabelle/HOL (Christoph Benzmüller, Maximilian Claus, Nik Sultana), In PxTP 2015 (Cezary Kaliszyk, Andrei Paskevich, eds.), EPTCS, volume 186, pp. 27-41, 2015. (slides) (Url (preprint): http://christoph-benzmueller.de/papers/C47.pdf) [bibtex] [doi]
Powered by bibtexbrowser