Static analysis
Third International Symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings
SAS' 96
Cousot, Radhia
ed.
Schmidt, David A.
1953-
ed.
International Static Analysis Symposium 1996 : Aachen, Germany)
text
conference publication
gw
Berlin
Springer
1996
monographic
eng
388 p.
Radhia Cousot and David A. Schmidt, eds.
Electronic digital computers
Programming
Congresses
Programming languages (Electronic computers)
Congresses
QA76.6 S716 1996
Lecture notes in computer science ; v. 1145
3540617396
03029743
230797
20260818222259.0