I develop automated program analysis techniques for formal verification, bug finding, and test generation.
-
Cadence & University Paris 13, Sorbonne Paris Cité
- Oxford, UK
- http://lipn.univ-paris13.fr/~rodriguez/
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.