Complexity Analysis for Java with AProVE

Cham / Springer International Publishing (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / Nadia Polikarpova, Steve Schneider (eds.)
Seite(n): 85-101

Autorinnen und Autoren

Autorinnen und Autoren

Frohn, Florian
Giesl, Jürgen

Identifikationsnummern