Formal Methods

  • Lucas, Peter (Co-Investigator (CoI))
  • Lorber, Florian Lukas (Co-Investigator (CoI))
  • Jöbstl, Elisabeth (Co-Investigator (CoI))
  • Aichernig, Bernhard (Co-Investigator (CoI))

Project: Research area

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.

Computer Science

Social Sciences