Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Lecture Notes in Computer Science (1145), Band 1145)

Proceedings

von: David A. Schmidt · Radhia Cousot

Taschenbuch

ISBN-13: 978-3-540-61739-6

ISBN-10: 3-540-61739-6

Springer · 2008