Wang Yi

Digital Library

ACM Fellows

Sweden - 2020

citation

For contributions to the automated analysis and verification of real-time systems

Press Release