Pierre Ganty Books

Reachability Problems Reachability Problems
2025
Verification and Evaluation of Computer and Communication Systems Verification and Evaluation of Computer and Communication Systems
2019
Trustworthy Global Computing Trustworthy Global Computing
2016