PrologCheck

swMATH14206MaRDI QIDQ26112FDOQ26112

Author name not available (Why is that?)

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