Sort by
Refine Your Search
-
of China, Sub-projects of the National Science and Technology Support Program, the National Spark Program, and Key R&D programs in Hainan, Guangxi, and Jiangsu provinces, as well as industry-funded
-
micro flows is TANG Xin. He is an Associate Professor at the Department of Mechanics and Aerospace Engineering. He received the degree of Ph.D. from the University of Hong Kong in 2019. His main academic
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions