...
机译:为多个模型检查器翻译Java:Bandera后端
Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, Manhattan KS, 66506, USA;
机译:Z2SAL:Z的基于翻译的模型检查器
机译:从Promela模型到Java程序的Goto自动翻译的例外处理
机译:提高语言模型在统计机器翻译中的作用(印度尼西亚 - 爪哇)
机译:Bandera:从Java源代码中提取有限状态模型
机译:Java建模语言的运行时断言检查器。
机译:多发性骨髓瘤的免疫治疗:转化型小鼠模型如何提供帮助?
机译:翻译Multion Model Checkers的Java:Bandera后端