User:Bart Jacobs (Leuven)
I am an associate professor of computer science at KU Leuven - University of Leuven, Belgium. My research focus is on modular formal verification of imperative programs.
I am an associate professor of computer science at KU Leuven - University of Leuven, Belgium. My research focus is on modular formal verification of imperative programs.