...
机译:通过转换的形式程序构建-计算机辅助,直觉引导的编程
机译:数值程序的形式验证:从C注释程序到机械证明
机译:数值程序的形式验证:从C注释程序到机械证明
机译:对分布式编程语言的编程逻辑的形式验证
机译:正式实验将极限编程与传统软件构造进行了比较
机译:植树:正规和非正规教育计划在苏格兰盖尔复兴中的作用。
机译:COVID-19对巴基斯坦外科住院计划的影响;居民的观点。程序是否需要进行正式的结构调整以适应新常态?横断面调查研究
机译:列表同态构造的高效并行程序的形式化推导