FWF - QUAINT - Quantified Decision Procedures and Interpolation for Error Correction

  • Hofferek, Georg (Co-Investigator (CoI))
  • Könighofer, Robert (Co-Investigator (CoI))
  • Bloem, Roderick (Principal Investigator (PI))

Project: Research project

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