Publisher
Springer International Publishing
Reference52 articles.
1. Baelde, D., et al.: Abella: a system for reasoning about relational specifications. J. Formaliz. Reason. 7(2), 1–89 (2014)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);JC Blanchette,2011
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);R Blanco,2017
4. Blanco, R., Miller, D., Momigliano, A.: Property-based testing via proof reconstruction. In: PPDP, pp. 5:1–5:13. ACM (2019)
5. Lecture Notes in Computer Science;L Bulwahn,2012