Reserved Area
People
RESEARCH
Contacts
EVOLVE
Evolutionary verification, validation and certification
QREN
Start Date:
June, 2008
http://wiki.di.uminho.pt/twiki/bin/view/Research/EVOLVE/
Team: Manuel Alcino Cunha, Luís Soares Barbosa and José Nuno Oliveira