Ricerca di contatti, progetti,
corsi e pubblicazioni

Martin Blicha

http://usi.to/yzo

Ricerca

  • Formal verification
  • SAT/SMT solvers
  • Interpolation

Aree di competenza