DMCA

Tools for Formal Specification, Verification, and Validation of Requirements (1997)

by Constance Heitmeyer , James Kirby , Bruce Labaw
Venue:In Proc. 12th Annual Conf. on Computer Assurance (COMPASS '97
Citations:37 - 15 self