Multi-prover verification of C programs (2004)

by J-C Filliâtre, C Marché
Venue:In ICFEM 2004, lncs