Non abbiamo ancora una biografia di Laura Kovács.
Pubblicato in Inglese
Tests and Proofs
2022
Reachability Problems
2024
Integrated Formal Methods
Automated Reasoning
Otium