Qin Li

Qin Li

East China Normal University
Email yang diverifikasi di sei.ecnu.edu.cn
Dirujuk 1021 kali
Unifying Theories of Programming Trustworthy Computing Process Algebra Cyber-Physical Systems Multi-agent systems
Yakoub Nemouchi

Yakoub Nemouchi

NREL
Email yang diverifikasi di nrel.gov
Dirujuk 222 kali
Formal Methods Interactive Theorem Proving Unifying Theories of Programming Model-Based Testing