Radboud University, Nijmegen, The Netherlands;
机译:使用jml描述和esc / java2进行库存管理程序的验证案例报告
机译:使用ESC / Java2进行库存管理程序设计的JML描述和证明的案例报告
机译:关于库存管理投影和Esc / Java2设计的JML描述和ESC / Java2的案例报告
机译:使用JML和ESC / Java2教学计划规范和验证
机译:规范和验证面向对象的程序。
机译:班级过渡技能的编程一般化:对学龄前儿童进行自我评估和发展性延迟教学并招募临时教师称赞。
机译:使用JML和ESC / Java2进行教学程序规范和验证
机译:并发程序的正式规范和验证。