Incremental Reasoning for Multiple Inheritance - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. Incremental Reasoning for Multiple Inheritance. In Michael Leuschel, Heike Wehrheim, editors, Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings. Volume 5423 of Lecture Notes in Computer Science, pages 215-230, Springer, 2009. [doi]

This author has not been identified. Look up 'Johan Dovland' in GoogleThis author has not been identified. Look up 'Einar Broch Johnsen' in GoogleThis author has not been identified. Look up 'Olaf Owe' in GoogleThis author has not been identified. Look up 'Martin Steffen' in Google

runs on WebDSL