@inproceedings{conf/eurovav/VermessanSMB99,
title = {Verification and Validation in Support for Software Certification Methods.},
author = {Anca I. Vermesan and Jarle Sjøvag and Per Martinsen and Keith Bell},
booktitle = {EUROVAV},
crossref = {conf/eurovav/1999},
editor = {Anca I. Vermesan and Frans Coenen},
pages = {277-293},
publisher = {Kluwer},
url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1999.html#VermessanSMB99},
year = {1999},
description = {dblp},
isbn = {0-7923-8645-0}, date = {2002-01-03},
keywords = {dblp }
}
::