NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ritchie Lee, Susmit Jha, Anastasia Mavridou, editors, NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Volume 12229 of Lecture Notes in Computer Science, Springer, 2020. [doi]

Conference: NFM2020

This author has not been identified. Look up 'Ritchie Lee' in GoogleThis author has not been identified. Look up 'Susmit Jha' in GoogleThis author has not been identified. Look up 'Anastasia Mavridou' in Google

runs on WebDSL