Skip to main content

Workshop on Formal Verifcaton of Proofs and Programs

Fecha de inicio
Archivo

Los participantes del workshop son investigadores externos que estarán en Montevideo con motivo de la defensa de tesis de doctorado de Juan Diego Campo. Más información en el adjunto.