dblp.uni-trier.de www.uni-trier.de

3. SAS 1996: Aachen, Germany

Radhia Cousot, David A. Schmidt (Eds.): Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings. Lecture Notes in Computer Science 1145 Springer 1996, ISBN 3-540-61739-6 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Guests

Contributed Papers

System Descriptions

Copyright © Mon Nov 2 21:07:33 2009 by Michael Ley (ley@uni-trier.de)