Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV


Book Informaton

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV

Author

Tiziana Margaria; Bernhard Steffen

Series

Lecture Notes in Computer Science

Volume

12479

Year of Publication

1st ed. 2021

Publisher

Springer International Publishing

Pages

XII, 265

Language

en

ISBN

9783030837228, 9783030837235

ARI Id

1665332162829


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 21 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xii
1-1
1-7
10-26
27-46
47-47
49-53
54-71
72-87
88-108
109-123
124-139
140-152
153-174
175-175
177-181
182-198
199-215
216-241
242-263
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 21 entries