Comprehending Isabelle/HOL’s Consistency

Kunčar, O. and Popescu, A. (2017) Comprehending Isabelle/HOL’s Consistency. In: 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. 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, 22-29 Apr 2017, Uppsala, Sweden. Lecture Notes in Computer Science, LNTCS,volume 10201 . Springer Berlin Heidelberg , pp. 724-749. ISBN 9783662544334

Abstract

Metadata

Authors/Creators:
  • Kunčar, O.
  • Popescu, A.
Copyright, Publisher and Additional Information: © 2017 Springer-Verlag GmbH Germany. This is an author-produced version of a paper subsequently published in Lecture Notes in Computer Science. Uploaded in accordance with the publisher's self-archiving policy.
Dates:
  • Published (online): 19 March 2017
  • Published: 19 March 2017
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
FunderGrant number
Engineering and Physical Sciences Research CouncilEP/N019547/1
Depositing User: Symplectic Sheffield
Date Deposited: 20 Oct 2022 15:55
Last Modified: 20 Oct 2022 16:26
Status: Published
Publisher: Springer Berlin Heidelberg
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-662-54434-1_27
Related URLs:

Export

Statistics