Número de Cutter-SanbornS227vEntrada «Sani» → 227 · marca de obra “v”

Verification, Model Checking, and Abstract Interpretation

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

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Autor	Sriram Sankaranarayanan, Ashutosh Trivedi, Krishna Shankaranarayanan
Editorial	Springer
Fecha de publicación	2025
Idioma	inglés
ISBN-13	9783031827020
Número de Cutter	`S227v`

Verification, Model Checking, and Abstract Interpretation (2025) — ISBN 9783031827020 | Cutter Number