A Resource-Based Logic for Termination and Non-termination Proofs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin. A Resource-Based Logic for Termination and Non-termination Proofs. In Stephan Merz, Jun Pang, editors, Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Volume 8829 of Lecture Notes in Computer Science, pages 267-283, Springer, 2014. [doi]

This author has not been identified. Look up 'Ton Chanh Le' in GoogleThis author has not been identified. Look up 'Cristian Gherghina' in GoogleThis author has not been identified. Look up 'Aquinas Hobor' in GoogleThis author has not been identified. Look up 'Wei-Ngan Chin' in Google

runs on WebDSL