Associate professor of computer science, focusing on formal program verification.
-
imec-DistriNet, KU Leuven
- Leuven, Belgium
- http://www.cs.kuleuven.be/~bartj/
Highlights
- Pro
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.