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/23 ER -