X.: A static analyzer for large safety-critical software (2003)

by B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, Rival
Venue:In: PLDI’2003: Programming Language Design and Implementation