Número de Cutter-SanbornA315aEntrada «Akers» → 315 · marca de obra “a”

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
ISBN: 9783031787492

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part-II

Autor	S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
Editorial	Springer
Fecha de publicación	2025
Idioma	inglés
ISBN-13	9783031787492
Número de Cutter	`A315a`

Automated Technology for Verification and Analysis (2025) — ISBN 9783031787492 | Cutter Number