Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings / Zhe Hou, Vijay Ganesh (eds.).

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analy...

Full description

Saved in:

Bibliographic Details
Corporate Author:	ATVA (Symposium) Online)
Other Authors:	Hou, Zhe (Lecturer) (Editor), Ganesh, Vijay (Editor)
Format:	eBook
Language:	English
Published:	Cham, Switzerland : Springer, 2021.
Series:	Lecture notes in computer science ; 12971. LNCS sublibrary. Programming and software engineering.
Subjects:	Automatic theorem proving > Congresses. Artificial intelligence > Congresses. Artificial intelligence Automatic theorem proving proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Click for online access

‌

Click for online access

Online

Holdings details from Online
Status:	Available

Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings / Zhe Hou, Vijay Ganesh (eds.).

‌

Online

Similar Items