Static analysis by abstract interpretation of embedded critical software (0)

by J Bertrane, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, X Rival
Venue:ACM Sigsoft Software Engineering Notes