formalverification

基本解释

• 形式騐証

同根派生

 

• formalverification相关词