Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - Springer Springer 2022
9783031197598
EBOOK
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - Springer Springer 2022
9783031197598
EBOOK