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

Qua, 29 novembro 2017, 14:00 - 15:00

Tipo de evento:

Seminário

Organizador:

DI / NOVA LINCS

Local do evento:

Edifício II

Localização específica:

Sala de Seminários do DI

Contacto:

Profª. Carla Ferreira