Detail

Publication date: 9 de November, 2022

NOVA LINCS Seminar

Jonathan Aldrich (Carnegie Mellon University)

Title:  Gradual Verification: Assuring Software Incrementally

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

Read more >


Date 11/11/2022