Bart Jacobs
Author
Alternate names Bpf Bart Jacobs, B. Jacobs, Bart Jacobs
Institution Ghent University Hospital
Past institutions Ghent University Hospital, The Netherlands Cancer Institute, Radboud University Nijmegen, KU Leuven, IMEC +5 more
ORCID: Yes
H-index: 48
I10-index: 157
Works count: 387
Citations count: 8,838
Boogie: A Modular Reusable Verifier for Object-Oriented Programs
2006 · Mike Barnett, Bor-Yuh Evan Chang, et al. · Lecture notes in computer science
Categorical Logic and Type Theory
1999 · Bart Jacobs
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java
2011 · Bart Jacobs, Jan Smans, et al. · Lecture notes in computer science