Complexity Analysis for Java with AProVE

Cham / Springer International Publishing (2017) [Contribution to a book, Contribution to a conference proceedings]

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

Authors

Authors

Frohn, Florian
Giesl, Jürgen

Identifier