CEDRIC - CNAM Paris 292, rue St Maxtin, F-75003 Paris;
rnLIP6 - Universite Pierre et Marie Curie 104 avenue du President Kennedy, F-75016 Paris;
机译:链接数据和弱语义的魅力:简介:弱语义的优势
机译:使用经过验证的编译器机械化多线程Java的类型安全模型
机译:在.NET和Java中的多线程:现实检查
机译:java多线程中的弱公平语义缺点
机译:基于定制和模型的与Java多线程相关的缺陷检测。
机译:NSeq:一个多线程Java应用程序用于从测序数据中查找定位的核小体
机译:指定多线程Java语义以进行程序验证