Static analysis : proceedings - Charlier Baudouin Le; International Static Analysis Symposium( 1st : 1994 : Belgium ); International Static Analysis Symposium 1st Belgium, 1994 (Berlin Springer Verlag, 1994)
Keywords: Computer science; Programming languages