@inproceedings{conf/icse/HeitmeyerKL97,
  added-at = {2002-12-17T00:00:00.000+0100},
  author = {Heitmeyer, Constance L. and Kirby, James and Labaw, Bruce G.},
  biburl = {http://www.bibsonomy.org/bibtex/2831491f740180694a9b22207d4ab966a/dblp},
  booktitle = {ICSE},
  date = {2002-12-17},
  description = {dblp},
  ee = {http://doi.acm.org/10.1145/253228.253498},
  interhash = {0a831c406a534334af916adb4701e506},
  intrahash = {831491f740180694a9b22207d4ab966a},
  keywords = {dblp},
  pages = {610-611},
  timestamp = {2002-12-17T00:00:00.000+0100},
  title = {The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse97.html#HeitmeyerKL97},
  year = 1997
}