Formal Software Development in the Verification Support Environment (VSE)

• Authors:

• Dieter Hutter;Georg Rock;Jörg H. Siekmann;Werner Stephan;Roland Vogt

• Affiliations:

• -;-;-;-;-

• Venue:
• Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference
• Year:
• 2000