DSL-based Runtime Verification for the JVM.

Christian Pohlmann

Original languageEnglish
QualificationMaster of Science
Awarding Institution
Supervisors/Advisors
  • Leucker, Martin, Supervisor
  • Reischuk, Rüdiger, Supervisor
Publication statusPublished - 2012
Externally publishedYes

Other files and links

Cite this