Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 1.
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.06.2022-10.06.2022)
doi: 10.1007/978-3-031-07727-2_5
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum