Using formal methods to validate C programs. - Christian Antoine; Patrick Baudin; J. M. Collart; Jacques Raguideau; A. Trotin (ISSRE, 1994)