机译:使用jml描述和esc / java2进行库存管理程序的验证案例报告
机译:使用ESC / Java2进行库存管理程序设计的JML描述和证明的案例报告
机译:关于库存管理投影和Esc / Java2设计的JML描述和ESC / Java2的案例报告
机译:Esc / Java2:在构建和使用Esc / Java2中注定Esc / Java和JML进度和问题,包括涉及使用工具来验证互联网投票系统的部分的案例研究
机译:中小型企业(SMES)将Internet用作商业工具:对明尼苏达州小型制造商的Internet使用情况的描述性研究。
机译:韩国青少年维生素D状况欠佳:关于其患病率可替宁验证的吸烟状况以及与特应性皮炎和哮喘相关的危险因素的全国性研究
机译:使用JML和ESC / Java2进行教学程序规范和验证
机译:CpDF水系统的系统设计说明:sDD-11包括:a部分,机器冷却水(mCW):B部分,塔式水冷却(TWC):C部分,卫生用水:D部分,防火:E部分,卫生下水道和建筑排水