Wang Yi
Books
- Dependable Software Engineering : Theories, Tools, and Applications
- How to Survive As a Villain 3
- Formal modeling and analysis of timed systems
- Princesse Corbeau
- Common Knowledge about Chinese Geography (English-Chinese, illustrated)
- Common Knowledge about Chinese Culture (English-Chinese, illustrated)
- Zhi chang lu xian tu
- Common Knowledge about Chinese History (English-Chinese, illustrated)
- How to Survive As a Villain 1
- Model Checking, Synthesis, and Learning
Author data: Open Library