DMCA

Model Checking Complete Requirements Specifications Using Abstraction (1999)

by Ramesh Bharadwaj , Constance L. Heitmeyer
Venue:Automated Software Engineering
Citations:83 - 22 self