FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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, Springer, 2008.

Conference: FM2008

This author has not been identified. Look up 'Jorge Cuéllar' in GoogleThis author has not been identified. Look up 'T. S. E. Maibaum' in GoogleThis author has not been identified. Look up 'Kaisa Sere' in Google

runs on WebDSL