6 citations · 6 across the 1 of their papers we have counts for
1 paper · 1 filter
Benedikt Becker, Cláudio Belo Lourenço, Claude Marché
Identifying the cause of a proof failure during deductive verification of programs is hard: it may be due to an incorrectness in the program, an incompleteness in the program annot…