Publication

Formal Software Development in the Verification Support Environment

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

In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 2000.

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