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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Name: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
ISBN: 9783031197550

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

Autor	Tiziana Margaria, Bernhard Steffen
Editorial	Springer
Fecha de publicación	2022

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineeri | Cutter Number