KIT | KIT-Bibliothek | Impressum

Configuration Lifting: Verification meets Software Configuration

Post, H.; Sinz, C.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2008
Sprache Englisch
Identifikator ISBN: 978-1-4244-2187-9
KITopen ID: 1000028430
Erschienen in Proceeding ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, 15-19 September 2008, L'Aquila, Italy
Verlag IEEE Computer Society, Washington (DC)
Seiten 347-350
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page