Can Formal Methods Improve the Efficiency of Code Reviews?

Martin Hentschel, Reiner Hhnle, Richard Bubel

Browse the full IFM paper archive.