Static analysis : third international workshop proceedings, WSA'93, Padova, Italy, Sept. 22-24, 1993 / edited by Patrick Cousot...[et al.]
Static analysis : third international workshop proceedings, WSA'93, Padova, Italy, Sept. 22-24, 1993 / edited by Patrick Cousot...[et al.] - - Berlin Springer-Verlag 1993 - ix,283 p. 23 cm - Lecture notes in computer science ; v.724 .
3-540-57264-30
Static analysis-Congresses
Programming languages (Electronic computers)-Congresses
Computer programs-Verification-Congresses
681.3.06 Sta:3:93