- Referenced in 395 articles
- The TPTP (Thousands of Problems for Theorem Provers...
- Referenced in 108 articles
- This document provides an introduction to the Answer...
- Referenced in 85 articles
- MiniZinc is a medium-level constraint modelling language...
- Referenced in 67 articles
- ProB: an automated analysis toolset for the B...
- Referenced in 44 articles
- Z/EVES Eclipse prover IDE. Community Z Tools provide...
- Referenced in 286 articles
- Using Z. Specification, refinement, and proof. The book...
- Referenced in 6 articles
- The BWare project is an industrial research project...
- Referenced in 7 articles
- JSetL is a Java library that has been...
- Referenced in 26 articles
- Programming with sets. An introduction to SETL. of...