机译:Java类的接口规范的综合
algorithms; verification; behavioral interfaces; synthesis; software components; abstraction; model checking; games; learning regular languages; INFERENCE;
机译:Java类的接口规范的综合
机译:面向对象的突变在Java应用程序编程接口和C ++类中的应用
机译:面向对象的突变在Java应用程序编程接口和C ++类中的应用
机译:Java类的接口规范的综合
机译:使用Java 5注释的Java建模语言(JML)的规范语言设计
机译:JPhyloIO:一个Java库用于通过公共接口对不同系统发育文件格式进行基于事件的读写
机译:Java类接口规范的综合