JCSP

swMATH25045MaRDI QIDQ36790FDOQ36790

Author name not available (Why is that?)

Official website: https://www.cs.kent.ac.uk/projects/ofa/jcsp/

Cited In (5)

• KRoC
• Handel-C
• Isabelle/Circus
• HOL-TestGen
• ZRC

This page was built for software: JCSP