The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support

@inproceedings{Heitmeyer-al:ICSE97,
  author    = {Constance L. Heitmeyer and
               James Kirby and
               Bruce G. Labaw},
  title     = {The {SCR} Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support},
  booktitle = {ICSE},
  pages     = {610--611},
  publisher = {{ACM}},
  year      = {1997},
}