SpringerLink (Online service) & Hentenryck, P. v. (1997). Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings (1st ed. 1997.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/BFb0032729
Chicago Style (17th ed.) CitationSpringerLink (Online service) and Pascal van Hentenryck. Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings. 1st ed. 1997. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 1997. https://doi.org/10.1007/BFb0032729.
MLA (8th ed.) CitationSpringerLink (Online service) and Pascal van Hentenryck. Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings. 1st ed. 1997. Springer Berlin Heidelberg : Imprint: Springer, 1997. https://doi.org/10.1007/BFb0032729.