Victoria University of Wellington Wellington New Zealand;
University of the Sunshine Coast Sunshine Coast QLD Australia;
机译:设计验证编译器:从Whiley开发中学到的教训
机译:信任但验证:of窃检测软件的引入
机译:虚拟化的原位软件更新验证:空中汽车软件更新的验证
机译:WILLY的软件验证简介
机译:软件验证技术在硬件设计验证中的应用。
机译:十三。医院信息系统:G.规划和管理医院信息系统的引入:国防部软件管理技术在医疗软件开发项目中的应用
机译:Whiley:软件验证研究平台
机译:使用基于模型的验证的软件工程实践简介