Languages; Performance; Theory; Verification; Coq; Acceptability; Relaxed Programs; Relational oare Logic;
机译:证明松弛不确定性近似程序的可接受性
机译:强逼近性质在仿射切换系统和仿射结构松弛微分方程上的应用
机译:通过等式饱和证明函数程序的属性
机译:证明松弛不确定性近似程序的可接受性
机译:使用自动生成的模型证明程序的属性。
机译:远程医疗。在苏格兰的肿瘤学试验研究中被证明是可以接受的。
机译:证明松弛不确定近似程序的可接受性