Formal Methods: Foundations and Applications

Sérgio Campos, Marius Minea

Formal Methods: Foundations and Applications - Springer Springer 2021

9783030921378

EBOOK