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.

Steinhöfel, Dominic ; Wasser, Nathan
Hrsg.: Polikarpova, Nadia ; Schneider, Steve (2017)
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
doi: 10.1007/978-3-319-66845-1
Konferenzveröffentlichung, Bibliographie

Damiani, Ferruccio ; Lienhardt, Michael ; Muschevici, Radu ; Schaefer, Ina
Hrsg.: Polikarpova, Nadia ; Schneider, Steve (2017)
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.
Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings.
doi: 10.1007/978-3-319-66845-1_8
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 03:15:21 2024 CET generiert.