Selected Extended Papers of ITP 2015: Preface

被引：0
|
作者：
Xingyuan Zhang
Christian Urban
机构：
[1] PLA University of Science and Technology Nanjing,
[2] King’s College London,undefined
来源：
Journal of Automated Reasoning | 2019年 / 62卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：431 / 432
页数：1
相关论文
共 50 条
  • [11] Selected Extended Papers of NFM 2016: Preface
    Munoz, Cesar A.
    Rayadurgam, Sanjai
    Tkachuk, Oksana
    JOURNAL OF AUTOMATED REASONING, 2018, 60 (01) : 1 - 2
  • [12] Selected Extended Papers of NFM 2017: Preface
    Barrett, Clark
    Kahsai, Temesghen
    JOURNAL OF AUTOMATED REASONING, 2019, 63 (04) : 1003 - 1004
  • [13] Selected extended papers of NFM 2021: Preface
    Dutle, Aaron
    Moscato, Mariano M.
    Titolo, Laura
    Munoz, Cesar A.
    Perez, Ivan
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2023, 19 (04) : 337 - 338
  • [14] Selected Extended Papers of NFM 2017: Preface
    Clark Barrett
    Temesghen Kahsai
    Journal of Automated Reasoning, 2019, 63 : 1003 - 1004
  • [15] Preface: Selected Extended Papers of CADE 2017
    de Moura, Leonardo
    JOURNAL OF AUTOMATED REASONING, 2020, 64 (03) : 511 - 511
  • [16] Selected Extended Papers of NFM 2016: Preface
    César A. Muñoz
    Sanjai Rayadurgam
    Oksana Tkachuk
    Journal of Automated Reasoning, 2018, 60 : 1 - 2
  • [17] Selected Extended Papers of NFM 2016: Preface
    Muñoz, César A. (cesar.a.munoz@nasa.gov), 1600, Springer Science and Business Media B.V. (60):
  • [18] Extended papers selected from ESSDERC 2015
    Grasser, Tibor
    Schmitz, Jurriaan
    Lemme, Max C.
    SOLID-STATE ELECTRONICS, 2016, 125 : 1 - 1
  • [19] Selected and extended papers from SBLP 2013 Preface
    Du Bois, Andre Rauber
    Trinder, Phil
    SCIENCE OF COMPUTER PROGRAMMING, 2016, 132 : 1 - 1
  • [20] Selected extended papers of NFM 2021Preface
    Aaron Dutle
    Mariano M. Moscato
    Laura Titolo
    C.ésar A. Muñoz
    Ivan Perez
    Innovations in Systems and Software Engineering, 2023, 19 : 337 - 338
12345