Professor emeritus Program Correctness
at Leiden Institute of Advanced Computer Science (LIACS) of Leiden University
E-mail address: frb at cwi dot nl
ORCiD: 
0000-0003-3950-6271
Location: Amsterdam, The Netherlands
Back to top
Professor emeritus Program Correctness
at Leiden Institute of Advanced Computer Science (LIACS) of Leiden University
E-mail address: frb at cwi dot nl
ORCiD: 0000-0003-3950-6271
Location: Amsterdam, The Netherlands
Back to top