JSetL

swMATH29267MaRDI QIDQ40981FDOQ40981

Author name not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• An automatically verified prototype of the Tokeneer ID station specification
• Integrating Finite Domain and Set Constraints into a Set-based Constraint Language
• Automated reasoning with restricted intensional sets

This page was built for software: JSetL