Annotated Inclusion Constraints for Precise Flow Analysis

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]

Authors

Ana Milanova

This author has not been identified. Look up 'Ana Milanova' in Google

Barbara G. Ryder

This author has not been identified. Look up 'Barbara G. Ryder' in Google