2001 | Book
Static Analysis
8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings
Editor: Patrick Cousot
Publisher: Springer Berlin Heidelberg
Book Series : Lecture Notes in Computer Science
Included in: Professional Book Archive