Multi-prover verification of C programs (2004)

by J-C Filliâtre, C Marché
Venue:In Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, volume 3308 of Lecture Notes in Computer Science