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) Intelligent Analytics for Massive Data DFKI Lab Berlin Alt-Moabit 91c 10559 Berlin Deutschland