Closed Projects

ASSERTION-TYPES for Object-Oriented Programming

Period: 
January 2010 to June 2012
Funded by: 
FCT (PTDC/EIA-CCO/105359/2008)

LS - Liveness, Statically

Period: 
March 2012 to September 2015
Funded by: 
FCT (PTDC/EIA-CCO/117513/2010)

MACAW - Macroprogramming for Wireless Sensor Networks

Period: 
March 2011 to February 2014
Funded by: 
FCT (PTDC/EIA-EIA/115730/2009)

Pages