Authors: Miller, Felix; Wild, Thomas; Herkersdorf, Andreas
Poster
Publication Date: 2012/05/08
Location of Publication: Poster auf dem edaWorkshop12, 8.-9.5.2012, Hannover, Germany
Keyword: Verification