Ana Sokolova

Libri
Reachability Problems Reachability Problems
Reachability Problems
2024
Model Checking Software Model Checking Software
Model Checking Software
2021
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2020