Search: Proofs And Reconstructions
2015
[1]Proofs and reconstructions (Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson), In FroCoS 2015 (Carsten Lutz, Silvio Ranise, eds.), Springer, LNAI, volume 9322, pp. 256-271, 2015. (Url (preprint): http://christoph-benzmueller.de/papers/C48.pdf) [bibtex] [doi]
Powered by bibtexbrowser