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

Filter
Doctoral Thesis

Search results