TY  - CONF

T1  - A Consistent Foundation for Isabelle/HOL

UR  - http://dx.doi.org/10.1007/978-3-319-22102-1_16

PY  - 2015/08/19

AU  - Kunčar O

AU  - Popescu A

ED  - 

DO  - DOI: 10.1007/978-3-319-22102-1_16

PB  - Springer International Publishing

SN  - 9783319221014

SP  - 234

EP  - 252

Y2  - 2024/12/26

ER  -