Checking Well-Formedness of Pure-Method Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Arsenii Rudich, Ádám Darvas, Peter Müller. Checking Well-Formedness of Pure-Method Specifications. In Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere, editors, FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Volume 5014 of Lecture Notes in Computer Science, pages 68-83, Springer, 2008. [doi]

This author has not been identified. Look up 'Arsenii Rudich' in GoogleThis author has not been identified. Look up 'Ádám Darvas' in GoogleThis author has not been identified. Look up 'Peter Müller' in Google

runs on WebDSL