MPG.eBooks - Description: Computer Aided Verification

Cover Image

Read Now

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023

Bibliographic Details
Other Authors:	Enea, Constantin (Editor), Lal, Akash (Editor)
Format:	eBook
Language:	English
Published:	Cham Springer Nature Switzerland 2023, 2023
Edition:	1st ed. 2023
Series:	Lecture Notes in Computer Science
Subjects:	Software Engineering Artificial Intelligence Algorithms Computer Networks Computer Engineering And Networks Design And Analysis Of Algorithms Computer Engineering
Online Access:	https://doi.org/10.1007/978-3-031-37709-9?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

Description
Summary:	The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023
Physical Description:	XVII, 502 p. 140 illus., 88 illus. in color online resource
ISBN:	9783031377099