4 citations · 4 across the 1 of their papers we have counts for
1 paper
Eric Jaeger, Catherine Dubois
The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself -- or its i…