Cited in
(8)- scientific article; zbMATH DE number 7552283 (Why is no real title available?)
- Integrating finite domain and set constraints into a set-based constraint language
- CLPS-B
- 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
