formal proof method

英 美
  • 形式化证明方法
  • formal adj.正式的;正规的;形式的;公开的;拘谨的;有条理的
  • method n.方法;条理n.类函数;类成员函数(计算机)
  • proof n.证明;证据;校样adj.防...的;耐...的vt.检验;给...做防护措施