JaVerT: JavaScript Verification Toolchain by José Fragoso Santos (Imperial College London)

Wed, 29 November 2017, 14:00 - 15:00

Tipo de evento:

Seminar

Organizador:

DI / NOVA LINCS

Local do evento:

Edifício II

Localização específica:

Sala de Seminários do DI

Contacto:

Profª. Carla Ferreira