Static analysis：third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings

Corporate Authors: International Static Analysis Symposium (3rd 1996 Aachen, Germany)
Group Author: Cousot Radhia.; Schmidt David A., 1953 May 10-
Published: Springer,
Publication Dates: c1996.
Call Number: TP301-532/S797/1996