机译:自动化弱存储程序的演绎验证(扩展版)
机译:Verisoft XT项目中系统软件的演绎验证
机译:Verisoft XT项目中系统软件的演绎验证
机译:Java在实践中自动演绎验证:基于工业证明的项目的课程
机译:使用投影图像发展概念理解的教学策略:探索计算机模拟和基于静态图像的课程中的讨论方法。
机译:生物医学工程与工业设计专业学生在Capstone设计项目中进行的十年合作中获得的经验教训
机译:工业化计算机联锁系统的基于证明的验证方法
机译:高效sCsEp项目的九个“最佳实践”。什么使这些项目成功的经验教训。高级社区服务就业计划。