|#||Name / Author||Supervisor / Affiliation||Status|
|1|| Verification, Slicing, and Visualization of Programs with Contracts
Author: Daniela Carneiro da Cruz
Supervisor: Pedro Manuel Rangel Henriques
UM - DI / CCTC
2007 - 2011
Check incoming events
Follow the link below for information on upcoming and past MAP-i events.
For incoming Students
Check FAQ's for incoming students for answers to commonly asked questions.
For current Students
Check FAQ's for current students for answers to commonly asked questions.
Find out how to subscribe to MAP-i mailing list.