PrologCheck

swMATH14206MaRDI QIDQ26112FDOQ26112

Author name not available (Why is that?)

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