Artikel

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, 2000.

Weitere Links

BibTeX