Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings /

Bibliographic Details
Corporate Author: International Static Analysis Symposium Paris, france
Other Authors: Cousot, Patrick, 1948-
Format: Conference Proceeding Book
Language:English
Published: Berlin : New York : Springer, [2001]
Series:Lecture notes in computer science. 2126.
Subjects: