DMCA

Automatic Generation of State Invariants from Requirements Specifications (1998)

Cached

Download Links

by Ralph Jeffords , Constance Heitmeyer
Venue:FSE-6
Citations:38 - 19 self