DMCA

An Algorithm for Strengthening State Invariants Generated from Requirements Specifications (2001)

by Ralph D. Jeffords , Constance L. Heitmeyer
Citations:20 - 8 self