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.
No references recorded for this publication.
No citations of this publication recorded.