Formal Methods and Software Engineering

Adrian Riesco, Min Zhang

Formal Methods and Software Engineering - Springer Springer 2022

9783031172441

EBOOK