Computer aided cerification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings. Part I

Computer aided cerification : Part I / 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings. Constantin Enea, Akash Lal, editors.

This open access proceedings set constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.

Saved in:
Bibliographic Details
Corporate Author: CAV (Conference) Paris, France)
Other Authors: Enea, Constantin (Editor), Lal, Akash (Editor)
Format: eBook
Language:English
Published: Cham, Switzerland : Springer, 2023.
Series:Lecture notes in computer science ; 13964.
Subjects:
Computer software > Verification > Congresses.
Artificial intelligence.
artificial intelligence.
algorithms.
Computer software > Verification
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:Click for online access
Description
Summary:This open access proceedings set constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.
Item Description:Includes author index.
Physical Description:1 online resource (xxix, 488 pages) : illustrations (some color).
ISBN:3031377060
9783031377068
ISSN:1611-3349 ;
Access:Open access.
Open Access
Source of Description, Etc. Note:Online resource; title from PDF title page (SpringerLink, viewed July 18, 2023).

Similar Items