JCSP

MaRDI QIDQ36790swMATHFDO

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