Wu Xinxing について
Department of Computer,Shanghai Technical Institute of Electronics & Information について
Hu Guosheng について
Department of Computer,Shanghai Technical Institute of Electronics & Information について
Chen Yixiang について
Soft/Hardware Co-design Engineering Research Center MoE,East China Normal University について
Jisuanji Kexue について
Hoare logic について
Hoare triple について
Correctness degree について
Probability measure について
計算理論 について
確率 について
Hoare論理 について