Número de Cutter-SanbornA787aEntrada «Arth» → 787 · marca de obra “a”

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
ISBN: 9783319465203

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Autor	Cyrille Artho, Axel Legay, Doron Peled
Editorial	Springer
Fecha de publicación	2016
Idioma	inglés
ISBN-13	9783319465203
Número de Cutter	`A787a`

Automated Technology for Verification and Analysis (2016) — ISBN 9783319465203 | Cutter Number