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. The 67 full papers presented in these proceedings were carefully reviewed and se...

Celý popis

Podrobná bibliografie

Hlavní autoři:	Enea, Constantin, Lal, Akash
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Cham Springer Nature 2023 Springer
Vydání:	1
Edice:	Lecture Notes in Computer Science
Témata:	architecture verification and validation artificial intelligence computer programming computer systems distributed systems embedded systems formal logic logic and verification model checking programming languages software architecture software design software engineering software quality
ISBN:	9783031377099, 3031377087, 9783031377082, 3031377095
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!