Login / Signup
软件模型代数性质的程序化验证 (Program Verification of Software Model's Algebraic Properties).
Huiqun Zhao
Yuhan Huang
Published in:
计算机科学 (2017)
Keyphrases
</>
artificial intelligence
pattern recognition
formal model