Ana Sokolova

Livres
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