Número de Cutter-SanbornH835aEntrada «Hou» → 835 · marca de obra “a”

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
ISBN: 9783030888848

19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings

Autor	Zhe Hou, Vijay Ganesh
Editorial	Springer International Publishing AG
Fecha de publicación	2021
Idioma	inglés
ISBN-13	9783030888848
Número de Cutter	`H835a`

Automated Technology for Verification and Analysis (2021) — ISBN 9783030888848 | Cutter Number