Silvie Spreeuwenberg, Rik Gerrits. Requirements for Successful Verification in Practice. In Susan M. Haller, Gene Simmons, editors, Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, May 14-16, 2002, Pensacola Beach, Florida, USA. pages 221-225, AAAI Press, 2002.
@inproceedings{SpreeuwenbergG02,
title = {Requirements for Successful Verification in Practice},
author = {Silvie Spreeuwenberg and Rik Gerrits},
year = {2002},
researchr = {https://researchr.org/publication/SpreeuwenbergG02},
cites = {0},
citedby = {0},
pages = {221-225},
booktitle = {Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, May 14-16, 2002, Pensacola Beach, Florida, USA},
editor = {Susan M. Haller and Gene Simmons},
publisher = {AAAI Press},
isbn = {1-57735-141-X},
}