Static analysis：4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings

Corporate Authors: International Static Analysis Symposium 1997 Paris, France)
Group Author: Van Hentenryck Pascal.
Published: Springer,
Publication Dates: c1997.
Call Number: TP301-532/S797/1997/