Naijun Zhan

Naijun Zhan

School of Computer Science, Peking University
Zweryfikowany adres z ios.ac.cn
Cytowane przez 2897
Formal Methods Real-time embedded and hybrid systems Program Verification