Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings


Book Informaton

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

Author

Jyotirmoy V. Deshmukh; Klaus Havelund; Ivan Perez

Series

Lecture Notes in Computer Science

Volume

13260

Year of Publication

1st ed. 2022

Publisher

Springer International Publishing

Pages

XXII, 828

Language

en

ISBN

9783031067723, 9783031067730

ARI Id

1665383334506


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 9 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

Showing 1 to 20 of 50 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xxii
1-1
3-13
14-51
52-70
71-87
88-108
109-130
131-131
133-155
156-174
175-192
193-212
213-230
231-250
251-271
272-279
280-298
299-317
318-337
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 50 entries