fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: Pre-/post-conditions

Export list as BibTeX file

2018

  • 2018 Full contract verification for ATL using symbolic execution Bentley James Oakes, Javier Troya, Levi Lúcio and Manuel Wimmer Software & Systems Modeling, 17():815–849, 2018. Details DOI BIB