PrologCheck

MaRDI QIDQ26112swMATHFDO

Official website http://rd.springer.com/chapter/10.1007%2F978-3-319-07151-0_1

Cited in

(2)

• αCheck: A mechanized metatheory model checker
• Functional and logic programming. 12th international symposium, FLOPS 2014, Kanazawa, Japan, June 4--6, 2014. Proceedings

This page was built for software: PrologCheck