Certifying Software Component Performance Specifications
Henning Groenda
Karlsruher Institut Fur Technologie
2014
pokkari