Manuel Fähndrich and Alexander Aiken September 1997
In: Proceedings of the 4th International Static Analysis Symposium
Publisher: Springer Verlag