Related Books
Language: en
Pages: 384
Pages: 384
Type: BOOK - Published: 2021-10-13 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gol
Language: en
Pages: 441
Pages: 441
Type: BOOK - Published: 2008-10-11 - Publisher: Springer
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seou
Language: en
Pages: 313
Pages: 313
Type: BOOK - Published: 2019-11-10 - Publisher: Springer Nature
The book summarizes the main results of the the project ENABLE-S3 covering the following aspects: validation and verification technology bricks (collection and
Language: en
Pages: 569
Pages: 569
Type: BOOK - Published: 2018-09-29 - Publisher: Springer
This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los
Language: en
Pages: 339
Pages: 339
Type: BOOK - Published: 2023-10-18 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Sin
