TY  - CONF

T1  - Comprehending Isabelle/HOL’s Consistency

JO  - Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

PY  - 2017/03/19

AU  - Kunčar O

AU  - Popescu A

ED  - 

DO  - DOI: 10.1007/978-3-662-54434-1_27

PB  - Springer Berlin Heidelberg

SN  - 9783662544334

VL  - LNTCS,volume 10201

SP  - 724

EP  - 749

Y2  - 2024/12/23

ER  -