Using formal methods to validate C programs.

Christian Antoine, Patrick Baudin, J. M. Collart, Jacques Raguideau, A. Trotin

Browse the full ISSRE paper archive.