Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings. Part II

Computer aided verification : Part II / 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings. Alexandra Silva, K. Rustan M. Leino (eds.).

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed...

Full description

Saved in:

Bibliographic Details
Corporate Author:	CAV (Conference) Online)
Other Authors:	Silva, Alexandra (Alexandra Martins da) (Editor), Leino, K. Rustan M. (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer, [2021]
Series:	Lecture notes in computer science ; 12760. LNCS sublibrary. Theoretical computer science and general issues.
Subjects:	Computer software > Verification > Congresses. Artificial intelligence. artificial intelligence. simulation. Computer software > Verification 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
	Available

Computer aided verification : Part II / 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings. Alexandra Silva, K. Rustan M. Leino (eds.).

‌

Online

Similar Items