TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 2.

Konferenzveröffentlichung

Jakobs, Marie-Christine
Hrsg.: ter Beek, Maurice H. ; Monahan, Rosemary (2022)
Reusing Predicate Precision in Value Analysis.
17th International Conference on integrated Formal Methods. Lugano, Switzerland (07.-10.06.2022)
doi: 10.1007/978-3-031-07727-2_5
Konferenzveröffentlichung, Bibliographie

Steinhöfel, Dominic ; Hähnle, Reiner
Hrsg.: ter Beek, Maurice H. ; McIver, Annabelle ; Oliveira, José N. (2019)
Abstract Execution.
3rd World Congress on Formal Methods (FM 2019). Porto, Portugal (October 7-11, 2019)
doi: 10.1007/978-3-030-30942-8_20
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 03:55:10 2024 CET generiert.