Verifying aspect advice modularly - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg. Verifying aspect advice modularly. In Richard N. Taylor, Matthew B. Dwyer, editors, Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004. pages 137-146, ACM, 2004. [doi]

Identified as Shriram Krishnamurthi This author has not been identified. Look up 'Kathi Fisler' in GoogleThis author has not been identified. Look up 'Michael Greenberg' in Google

runs on WebDSL