Towards Formal Proof Metrics

David Aspinall, Cezary Kaliszyk
19th International Conference on Fundamental Approaches to Software Engineering, LNCS 9633, pp. 325-341, 2016.

abstract   BibTeX   PDF   doi:10.1007/978-3-662-49665-7_19