FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki, editors, FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings. Volume 3582 of Lecture Notes in Computer Science, Springer, 2005.

Conference: FM2005

This author has not been identified. Look up 'John Fitzgerald' in GoogleThis author has not been identified. Look up 'Ian J. Hayes' in GoogleThis author has not been identified. Look up 'Andrzej Tarlecki' in Google

runs on WebDSL