Static analysis : proceedings - Cousot Patrick; International Workshop on Static Analysis( 3rd : 1993 : Padova,Italy ); International Workshop on Static Analysis 3rd Padova, Italy 1993 (Berlin Springer Verlag, 1993)
Keywords: Computer programming; Computer science