Publication

Formal Software Development in the Verification Support Environment (VSE)

Dieter Hutter, Georg Rock, Jörg Siekmann, Werner Stephan, Roland Vogt

In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS) Pages 367-376 AAAI-Press 2000.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz