10 citations · 10 across the 1 of their papers we have counts for
1 paper
Andrew Healy, Rosemary Monahan, James F. Power
The Why3 IDE and verification system facilitates the use of a wide range of Satisfiability Modulo Theories (SMT) solvers through a driver-based architecture. We present Where4: a p…