Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I /

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...

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	SpringerLink (Online service)
Altres autors:	André, Étienne (Editor), Sun, Jun (Editor)
Format:	Electrònic eBook
Idioma:	anglès
Publicat:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edició:	1st ed. 2023.
Col·lecció:	Lecture Notes in Computer Science, 14215
Matèries:	Software engineering. Computer engineering. Computer networks . Artificial intelligence. Computers. Computer science. Software Engineering. Computer Engineering and Networks. Artificial Intelligence. Computer Hardware. Theory of Computation.
Accés en línia:	https://doi.org/10.1007/978-3-031-45329-8
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!