Complexity Analysis for Java with AProVE

Frohn, Florian; Giesl, Jürgen (Corresponding author)

Cham : Springer International Publishing (2017)
Contribution to a book, Contribution to a conference proceedings

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


  • Department of Computer Science [120000]
  • Research Group Computer Science (Programming Languages and Verification) [121420]