The following pages link to JSetL (Q40981):
Displayed 4 items.
- An automatically verified prototype of the Tokeneer ID station specification (Q2069869) (← links)
- Automated reasoning with restricted intensional sets (Q2666960) (← links)
- Integrating Finite Domain and Set Constraints into a Set-based Constraint Language (Q3400565) (← links)
- (Q5087786) (← links)