Automated generation of monitors for pattern contracts - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan. Automated generation of monitors for pattern contracts. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. pages 1779-1784, ACM, 2006. [doi]

This author has not been identified. Look up 'Benjamin Tyler' in GoogleThis author has not been identified. Look up 'Jason O. Hallstrom' in GoogleThis author has not been identified. Look up 'Neelam Soundarajan' in Google

runs on WebDSL