CLPS-B - A Constraint Solver for B.

Fabrice Bouquet, Bruno Legeard, Fabien Peureux

Browse the full TACAS paper archive.