Número de Cutter-SanbornF499vEntrada «Fink» → 499 · marca de obra “v”

Verification, Model Checking, and Abstract Interpretation

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

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Autor	Bernd Finkbeiner, Thomas Wies
Editorial	Springer International Publishing AG
Fecha de publicación	2022
Idioma	inglés
ISBN-13	9783030945824
Número de Cutter	`F499v`

Verification, Model Checking, and Abstract Interpretation (2022) — ISBN 9783030945824 | Cutter Number