20th INFOBLENDER SEMINAR

in
Date: 
Wednesday, March 30, 2016, 1:30pm - 2:30pm

A talk on Formalizing Single-assignment Program Verification: an Adaptation-complete Approach

By Cláudio Belo Lourenço, HASLab/INESC TEC & University of Minho.

Read more