Stan Jarzabek. Systematic design of static program analyzers. In Eighteenth Annual International Computer Software and Applications Conference, COMPSAC 1994, Taipei, Taiwan, 9-11 November, 1994, Proceedings. pages 281-286, IEEE, 1994. [doi]
Abstract is missing.