Chalmers University of Technology, 421 96 Gothenburg, Sweden;
Dipartimento di Informatica, Universita di Torino, C.so Svizzera, 185 - 10149 Torino, Italy;
Dipartimento di Informatica, Universita di Torino, C.so Svizzera, 185 - 10149 Torino, Italy;
Dipartimento di Informatica, Universita di Torino, C.so Svizzera, 185 - 10149 Torino, Italy;
Dipartimento di Informatica, Universita di Torino, C.so Svizzera, 185 - 10149 Torino, Italy;
机译:面向增量软件产品线的增量模型检查
机译:面向动态Delta的软件产品线的正式基础
机译:面向增量软件产品线的组成类型检查
机译:评估不断发展的软件产品线的面向Delta的编程
机译:将软件安全分析扩展到数百万个恶意程序和数十亿行代码。
机译:编程死亡1抑制剂和编程死亡-1配体-1抑制剂与DLBCL细胞系中的化学治疗药物相结合的协同作用
机译:面向Delta的软件产品线编程
机译:软件产品线:2010年美国陆军软件产品线研讨会报告