External Research Students (co-supervised)

Pablo Berdaguer [DBLP] email: pabloberdaguer

Joćo Ferreira [DBLP] 

Alexandra Mendes [DBLP] 

Claudia Necco [DBLP] 

Alexandra Silva  [DBLP] email: xana

Theory and Formal Methods at U.Minho