English translation for "制定形式证法"

making formal proofs that programs meet specifications part of contracts

Related Translations:

制定类:  named class

设计制定设计制定:  design construction

制定利率:  to establish rate of interest

制定程序:  decision procedure

制定的:  established

制定了:  lay 1

战略制定:  strategy formulation

制定宪法:  draw up a constitution

详细制定:  chartedwork out in detail

制定配方:  formulate

Similar Words：

"制定相关培训计划" English translation, "制定项目计划" English translation, "制定消费品性能测试标准方法的总则" English translation, "制定新的策略" English translation, "制定新的规章" English translation, "制定行销计划" English translation, "制定性能测试计划" English translation, "制定一个标准" English translation, "制定一个计划" English translation, "制定一条法律" English translation