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.
Abstract is missing.