Relevance heuristics for program analysis

Open Webpage

Kenneth L. McMillan

Published: 2008, Last Modified: 05 Nov 2025POPL 2008EveryoneRevisionsBibTeXCC BY-SA 4.0