NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, editors, NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Volume 9058 of Lecture Notes in Computer Science, Springer, 2015. [doi]

Conference: NFM2015

This 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