• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

The KeY Platform for Verification and Analysis of Java Programs.

Wolfgang AhrendtBernhard BeckertDaniel BrunsRichard BubelChristoph GladischSarah GrebingReiner HähnleMartin HentschelMihai HerdaVladimir KlebanovWojciech MostowskiChristoph SchebenPeter H. SchmittMattias Ulbrich
Published in: VSTTE (2014)
Keyphrases
  • java programs
  • data analysis
  • cooperative
  • information systems
  • high level
  • data model
  • low cost
  • computer systems
  • java language