Ivana Cerna

  • Home
  • Teaching
  • Research
  • Projects
  • Projects
  • DiVinE - Model Checking for Everyone
  • ParaDiSe - Parallel and Distributed Systems Laboratory