The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chelsea Battell, Amy P. Felty. The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid. In Gilles Dowek, Daniel R. Licata, Sandra Alves, editors, Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016. ACM, 2016. [doi]

This author has not been identified. Look up 'Chelsea Battell' in GoogleThis author has not been identified. Look up 'Amy P. Felty' in Google

runs on WebDSL