Software Engineering

Showing results in 'Talks'. Show all posts
VOCAL — The Verified OCaml Library 7/24/2017

By Mário Pereira, LRI — Université Paris-Saclay, France.

Pattern Based Software Development 6/29/2016:

By Rui Couto, HASLab, INESC TEC & UMinho.

Typed Connector Families 1/13/2016:

By José Proença, HASLab/INESC TEC and University of Minho.