Lazy Behavioral Subtyping - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. Lazy Behavioral Subtyping. 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 52-67, Springer, 2008. [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