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

Cijeli opis

Bibliografski detalji

Autor kompanije:	SpringerLink (Online service)
Daljnji autori:	André, Étienne (Urednik), Sun, Jun (Urednik)
Format:	Elektronički e-knjiga
Jezik:	engleski
Izdano:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Izdanje:	1st ed. 2023.
Serija:	Lecture Notes in Computer Science, 14215
Teme:	Software engineering. Computer engineering. Computer networks . Artificial intelligence. Computers. Computer science. Software Engineering. Computer Engineering and Networks. Artificial Intelligence. Computer Hardware. Theory of Computation.
Online pristup:	https://doi.org/10.1007/978-3-031-45329-8
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!