Events
Detail
Publication date: 9 de November, 2022NOVA 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 |
---|