@INPROCEEDINGS{,
author = {I. Traoré},
booktitle = {Proceedings Fifth IEEE International Symposium on Requirements Engineering(RE)},
title = {An Integrated V&V Environment for Critical Systems Development},
year = {2001},
volume = {00},
number = {},
pages = {0287},
keywords={},
doi = {10.1109/ISRE.2001.948587},
url = {doi.ieeecomputersociety.org/10.1109/ISRE.2001.948587},
ISSN = {},
month={08}
}