Número de Cutter-SanbornB752aEntrada «Bou» → 752 · marca de obra “a”

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
ISBN: 9783031199912

20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022, Proceedings

Autor	Ahmed Bouajjani, Lukás Holík, Zhilin Wu
Editorial	Springer International Publishing AG
Fecha de publicación	2022
Idioma	inglés
ISBN-13	9783031199912
Número de Cutter	`B752a`

Automated Technology for Verification and Analysis (2022) — ISBN 9783031199912 | Cutter Number