...
机译:提高生产率和可靠性:JML工程突出了用全电模型更换液压管弯道的好处
机译:自动将VDM转换为带有JML注释的Java
机译:在橙色斑点的石斑壶中的先天免疫参数,Epinecidin基因表达和死亡率的时间变化,& Ce:斜体> epinephelus coioides& / ce:斜体>通过鱼病原体实验感染,& ce:斜体> vibrio harveyi& / CE:斜体> jml1
机译:JML4:迈向Java的工业级IVE和JML的下一代研究平台
机译:对JML断言作为测试预言有效性的经验评估。
机译:JML4:迈向Java的工业级IVE和JML的下一代研究平台