Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings. Part II

Automated technology for verification and analysis : Part II / 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings. Étienne André, Jun Sun, editors.

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification...

Full description

Saved in:

Bibliographic Details
Corporate Author:	ATVA (Symposium) Singapore)
Other Authors:	André, Etienne (Editor), Sun, Jun (Professor of Information Systems) (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer, [2023]
Series:	Lecture notes in computer science ; 14216.
Subjects:	Automatic theorem proving > Congresses. Artificial intelligence. artificial intelligence. computers. 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 : Part II / 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings. Étienne André, Jun Sun, editors.

‌

Online

Similar Items