PostDoc @ TU Darmstadt,
formal program verification (esp. low-level concurrent C), separation logic, completeness thresholds, liveness
-
TU Darmstadt
- reito.eu
Highlights
- Pro
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.