Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings


Book Informaton

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

Author

Zhe Hou; Vijay Ganesh

Series

Lecture Notes in Computer Science

Volume

12971

Year of Publication

1st ed. 2021

Publisher

Springer International Publishing

Pages

XV, 382

Language

en

ISBN

9783030888848, 9783030888855

ARI Id

1665344447535


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 11 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 35 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xv
1-1
3-12
13-13
15-31
32-47
48-64
65-65
67-73
74-90
91-107
109-109
111-126
127-143
144-149
151-151
153-169
170-186
187-202
203-203
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 35 entries