@inproceedings{Dam2011, Author = {Damm, Werner and Hungar, Hardi and Josko, Bernhard and Peikenkamp, Thomas and Stierand, Ingo and }, Title = {Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design}, Year = {2011}, Month = {03}, type = {inproceedings} } @COMMENT{Bibtex file generated on }