Forked from
Verified Software / psvg.doc.ic.ac.uk
728 commits behind the upstream repository.
-
Teresa Carbajo-Garcia authoredTeresa Carbajo-Garcia authored
raad.md 161 B
firstname: Azalea
lastname: Raad
position: PhD Student
webpage: http://www.doc.ic.ac.uk/~azalea/
email: azalea@imperial.ac.uk
projects:
- concurrency