Publisher
Springer Nature Switzerland
Reference23 articles.
1. Lecture Notes in Computer Science;AW Appel,2011
2. Appel, A.W.: Verifiable C, chap. 5–17, 21, 35–39 (2016)
3. Barras, B., et al.: The coq Proof Assistant reference manual. Technical report, INRIA (1998)
4. Benzmüller, C., Claus, M., Sultana, N.: Systematic verification of the modal logic cube in Isabelle/Hol. In: Kaliszyk, C., Paskevich, A. (eds.) Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, 2–3 August 2015. EPTCS, vol. 186, pp. 27–41 (2015), https://doi.org/10.4204/EPTCS.186.5
5. Lecture Notes in Computer Science;C Benzmüller,2015