Número de Cutter-SanbornD582vEntrada «Dim» → 582 · marca de obra “v”

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
ISBN: 9783031505201

25th International Conference, VMCAI 2024, London, on, Canada, January 15-16, 2024, Proceedings, Part II

Autor	Rayna Dimitrova, Ori Lahav, Sebastian Wolff
Editorial	Springer
Fecha de publicación	2024
Idioma	inglés
ISBN-13	9783031505201
Número de Cutter	`D582v`

Verification, Model Checking, and Abstract Interpretation (2024) — ISBN 9783031505201 | Cutter Number