2017

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