"An Algorithm for Strengthening State Invariants Generated from ..."

Ralph D. Jeffords, Constance L. Heitmeyer (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics