Ana Milanova, Barbara G. Ryder. Annotated Inclusion Constraints for Precise Flow Analysis. In 21st IEEE International Conference on Software Maintenance (ICSM 2005), 25-30 September 2005, Budapest, Hungary. pages 187-196, IEEE Computer Society, 2005. [doi]
Abstract is missing.