Software Engineering

Showing results in 'Talks'. Show all posts
Resource-Aware Models in ABS 12/14/2017

By Einar Broch Johnsen, University of Oslo, Norway.

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.