INRIA Sophia Antipolis, Prance;
Ludwig-Maximilians-Universitaet München, German;
机译:使用BML规范注释的Java Bytecode程序的正式模型。
机译:多态字节码:类似Java语言的组合编译
机译:行为接口规范语言
机译:BML的初步设计:Java字节码的行为界面规范语言
机译:使用Java 5注释的Java建模语言(JML)的规范语言设计
机译:TBI儿童语言网络中的神经基质差异和相关的语言相关行为障碍:初步的功能磁共振成像调查
机译:使用Java 5注释的Java建模语言(JML)的规范语言设计
机译:联盟战斗管理语言(C-BmL)语言支持德巴塔耶(C-BmL)。