Static analysis
Subtitle: third international workshop, WSA '93, Padova, Italy, September 1993 : proceedings
By: Patrick Cousot ... [et al.].
Contributors: Cousot, Patrick, 1948-
Series: Lecture notes in computer science ;; 724
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 283
Subjects: Computer programming -- Congresses; Programming languages (Electronic computers) -- Congresses