Número de Cutter-SanbornH511vEntrada «Heng» → 511 · marca de obra “v”

Verification, Model Checking, and Abstract Interpretation

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

22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

Autor	Fritz Henglein, Sharon Shoham, Yakir Vizel
Editorial	Springer International Publishing AG
Fecha de publicación	2021
Idioma	inglés
ISBN-13	9783030670665
Número de Cutter	`H511v`

Verification, Model Checking, and Abstract Interpretation (2021) — ISBN 9783030670665 | Cutter Number