@TechReport{FrohnGiesl17b,
  author      = "Florian Frohn and J\"urgen Giesl",
  title       = "Complexity Analysis for Java with AProVE",
  institution = "RWTH Aachen University",
  keywords    = "complexity, symbolic execution, java, integer transition systems",
  year        = "2017",
  number      = "AIB-2017-04",
  month       = jun,
  url         = "http://aib.informatik.rwth-aachen.de/2017/2017-04.ps.gz"
}