Número de Cutter-SanbornM327lEntrada «Marg» → 327 · marca de obra “l”

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Name: Leveraging Applications of Formal Methods, Verification and Validation. Practice
ISBN: 9783031197611

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part IV

Autor	Tiziana Margaria, Bernhard Steffen
Editorial	Springer
Fecha de publicación	2022
Idioma	inglés
ISBN-13	9783031197611
Número de Cutter	`M327l`

Leveraging Applications of Formal Methods, Verification and Validation. Practice (2022) — | Cutter Number