In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software …
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Intelligente Analytik für Massendaten DFKI Labor Berlin Alt-Moabit 91c 10559 Berlin Deutschland