Constance L. Heitmeyer, James Kirby, Bruce G. Labaw. The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support. In ICSE. pages 610-611, 1997. [doi]
@inproceedings{HeitmeyerKL97,
title = {The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support},
author = {Constance L. Heitmeyer and James Kirby and Bruce G. Labaw},
year = {1997},
doi = {10.1145/253228.253498},
url = {http://doi.acm.org/10.1145/253228.253498},
researchr = {https://researchr.org/publication/HeitmeyerKL97},
cites = {0},
citedby = {0},
pages = {610-611},
booktitle = {ICSE},
}