I've secured a PhD in CS from Mizzou (Columbia) and. Research interests: security protocol verification, mechanization in Coq, solving unification problems, etc
-
University of Missouri
- Columbia
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.