BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-229603, author = {Kandl, Susanne and Elshuber, Martin}, title = {A Formal Approach to System Integration Testing}, booktitle = {Proceedings of the Tenth European Dependable Computing Conference (EDCC 2014)}, year = {2014}, note = {talk: Tenth European Dependable Computing Conference (EDCC 2014), Newcastle upon Tyne, UK; 2014-05-13 -- 2014-05-16} } 1 Datensatz ausgegeben