KIT | KIT-Bibliothek | Impressum | Datenschutz

Uniform Substitution for Differential Refinement Logic

Prebet, Enguerrand ORCID iD icon 1; Platzer, André ORCID iD icon 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)


Download
Originalveröffentlichung
DOI: 10.1007/978-3-031-63501-4_11
Scopus
Zitationen: 2
Dimensions
Zitationen: 3
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2024
Sprache Englisch
Identifikator ISBN: 978-3-031-63501-4
ISSN: 0302-9743
KITopen-ID: 1000173366
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Erschienen in Automated Reasoning. IJCAR 2024. Part 2. Ed.: C. Benzmüller
Veranstaltung 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, Frankreich, 01.07.2024 – 06.07.2024
Verlag Springer Nature Switzerland
Seiten 196–215
Serie Lecture Notes in Computer Science ; 14740
Vorab online veröffentlicht am 02.07.2024
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page