Forked from
Verified Software / psvg.doc.ic.ac.uk
1381 commits behind the upstream repository.
rochapinto.md 193 B
title: Pedro da Rocha Pinto
firstname: Pedro
lastname: da Rocha Pinto
image: /images/pedro.jpg
position: PhD Student
webpage: http://www.doc.ic.ac.uk/~pmd09/
email: pmd09@doc.ic.ac.uk