Skip to content

@SystemAnalysisDpt-CMC-MSU System Analysis Department at Computation Mathematics and Cybernetics Faculty of Lomonosov Moscow State University

@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@SWPU-qingyi
NEU-QingYI SWPU-qingyi
@crankler
Chen Yao crankler
There is a rapture on the lonely shore

HIT / HITSZ / SUSTech Shenzhen