Event details

  • NOVA LINCS Seminar
  • Nov 2022

  • Jonathan Aldrich (Carnegie Mellon University)

    Title:  Gradual Verification: Assuring Software Incrementally

    Date: 11 November 2022, 11h00 - 12h00 | DI Meeting Room and zoom

    Read more >