JSetL

swMATH29267MaRDI QIDQ40981FDOQ40981

Author name not available (Why is that?)

Official website: http://www.clpset.unipr.it/jsetl/

Cited In (7)

• Title not available (Why is that?)
• Integrating finite domain and set constraints into a set-based constraint language
• BWare
• FaCiLe
• SETL
• An automatically verified prototype of the Tokeneer ID station specification
• Automated reasoning with restricted intensional sets

This page was built for software: JSetL