KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1109/MIS.2014.3
Scopus
Zitationen: 18

Reasoning and Verification: State of the Art and Current Trends

Beckert, B.; Hahnle, R.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Jahr 2014
Sprache Englisch
Identifikator ISSN: 0885-9000, 1094-7167, 1541-1672, 1941-1294
KITopen ID: 1000045622
HGF-Programm 46.12.03; LK 01
Erschienen in IEEE intelligent systems & their applications
Band 29
Heft 1
Seiten 20-29
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page