Integrated Formal Methods

Maurice H. ter Beek, Rosemary Monahan

Integrated Formal Methods - Springer Springer 2022

9783031077272

EBOOK