Forked from
Verified Software / psvg.doc.ic.ac.uk
713 commits behind the upstream repository.
-
Teresa Carbajo-Garcia authoredTeresa Carbajo-Garcia authored
fragoso-santos.md 218 B
firstname: José
lastname: Fragoso Santos
position: Research Associate
webpage: http://www.doc.ic.ac.uk/~jfaustin/
email: jose.fragoso.santos@imperial.ac.uk
github: j3fsantos
projects:
- web
- sl
- infer