Event details

  • NOVA LINCS SEMINAR SERIES
  • Jan 2021
  • Mário Pereira (FCT NOVA - NOVA LINCS)

    Title:  Cameleer: a Deductive Verification Tool for OCaml

    Date: 20 January 2021, 14h00 | Zoom

    Read more >