Número de Cutter-SanbornD759vEntrada «Drag» → 759 · marca de obra “v”

Verification, Model Checking, and Abstract Interpretation

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

24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Autor	Cezara Dragoi, Michael Emmi, Jingbo Wang
Editorial	Springer
Fecha de publicación	2023
Idioma	inglés
ISBN-13	9783031249495
Número de Cutter	`D759v`

Verification, Model Checking, and Abstract Interpretation (2023) — ISBN 9783031249495 | Cutter Number