References
Bertot Y, Castéran P (2004) Interactive theorem proving and program development. Volume XXV of EATCS texts in theoretical computer science. Springer, Berlin
Boyer RS, Moore JS (1979) A computational logic. Academic Press, New York
Gordon MJC, Melham TF (1993) Introduction to HOL: a theorem proving environment for higher order logic. Cambridge University Press, Cambridge
Harrison J (2009) Handbook of practical logic and automated reasoning. Cambridge University Press, Cambridge
Jones CB, Jones KD, Lindsay PA, Moore RC (1991) Mural: a formal development support system. Springer, Berlin
Nipkow T, Paulson LC, Wenzel M (2002) Isabelle/HOL—a proof assistant for higher-order logic. Volume 2283 of LNCS. Springer, Berlin
Paulson LC (1996) ML for the working programmer. 2nd edn Cambridge University Press, Cambridge
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hallerstede, S. Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL. Form Asp Comp 30, 491–492 (2018). https://doi.org/10.1007/s00165-018-0454-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00165-018-0454-6