Static Analysis 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings - Hentenryck, Pascal van; Hentenryck, Pascal van (Springer Berlin Heidelberg : Imprint: Springer, 1997)