Gradual Verification: Assuring Software Incrementally by Jonathan Aldrich (Carnegie Mellon University)

Sex, 11 novembro 2022, 11:00 - 12:00

Tipo de evento:

Seminário

Organizador:

DI/NOVA LINCS

Local do evento:

Sala de Reuniões do DI e ZOOM

URL: https://videoconf-colibri.zoom.us/j/92950889155?pwd=YXN6MFNwaDVxbGh4RHQ5d3N0VWhLUT09