ICSE 1999Verification and Validation of Requirements for Mission Critical SystemsSteve M. EasterbrookPDFDOI 10.1145/302405.302951dblpAbstractNo abstract available.BibTeX@inproceedings{Easterbrook:ICSE99, author = {Steve M. Easterbrook}, title = {Verification and Validation of Requirements for Mission Critical Systems}, booktitle = {ICSE}, pages = {673--674}, publisher = {{ACM}}, year = {1999}, }