"Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For ..."

Thomas Ball, Frank Tip, A. Michael Berman (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics