Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt. Formal Software Development in the Verification Support Environment (VSE). In James N. Etheredge, Bill Z. Manaris, editors, Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, May 22-24, 2000, Orlando, Florida, USA. pages 367-376, AAAI Press, 2000.
Abstract is missing.