Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings


Book Informaton

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

Author

Ritchie Lee; Susmit Jha; Anastasia Mavridou; Dimitra Giannakopoulou

Series

Lecture Notes in Computer Science

Volume

12229

Year of Publication

1st ed. 2020

Publisher

Springer International Publishing

Pages

XXI, 442

Language

EN

ISBN

9783030557539, 9783030557546

ARI Id

1665268708445


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo