KIT | KIT-Bibliothek | Impressum | Datenschutz

Abstract Testing: Connecting Source Code Verification with Requirements

Merz, F.; Sinz, C.; Post, H.; Gorges, T.; Kropf, T.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2010
Sprache Englisch
Identifikator ISBN: 978-0-7695-4241-6
KITopen-ID: 1000028419
Erschienen in Proceedings Seventh International Conference on the Quality of Information and Communications Technology, 29.09.2010 - 02.10.2010, Porto, Portugal. Ed.: J. Pascoal Faria
Verlag IEEE Computer Society, Los Alamitos
Seiten 89-97
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page