Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
Prebet, Enguerrand
; Platzer, André
1
1 Fakultät für Informatik (INFORMATIK), Karlsruher Institut für Technologie (KIT)
; Platzer, André
11 Fakultät für Informatik (INFORMATIK), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Fakultät für Informatik (INFORMATIK) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2026 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-032-32592-1 ISSN: 0302-9743 KITopen-ID: 1000199115 |
| Erschienen in | Automated Reasoning : 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II. Ed.: Ed.: A. Biere |
| Veranstaltung | 13th International Joint Conference on Automated Reasoning (IJCAR 2026), Lissabon, Portugal, 26.07.2026 – 29.07.2026 |
| Verlag | Springer Nature Switzerland |
| Seiten | 324–341 |
| Serie | Lecture Notes in Computer Science ; 16689 |
| Vorab online veröffentlicht am | 24.07.2026 |
| Nachgewiesen in | Scopus OpenAlex |