JSetL
From MaRDI portal
Cited in
(8)- CLPS-B
- BWare
- Automated reasoning with restricted intensional sets
- FaCiLe
- SETL
- scientific article; zbMATH DE number 7552283 (Why is no real title available?)
- An automatically verified prototype of the Tokeneer ID station specification
- Integrating finite domain and set constraints into a set-based constraint language
This page was built for software: JSetL
