NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, editors, NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. Volume 6617 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Conference: NFM2011

This author has not been identified. Look up 'Mihaela Gheorghiu Bobaru' in GoogleThis author has not been identified. It may be one of the following persons:

Klaus Havelund

Look up 'Klaus Havelund' in GoogleThis author has not been identified. Look up 'Gerard J. Holzmann' in GoogleThis author has not been identified. Look up 'Rajeev Joshi' in Google

runs on WebDSL