@inproceedingsDam2011, 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} @COMMENTBibtex file generated on