JSetL
From MaRDI portal
Software:40981
No author found.
Related Items (4)
Automated reasoning with restricted intensional sets ⋮ Unnamed Item ⋮ Integrating Finite Domain and Set Constraints into a Set-based Constraint Language ⋮ An automatically verified prototype of the Tokeneer ID station specification
This page was built for software: JSetL
