Preface: Selected Extended Papers of CADE 2015

被引：0
|
作者：
Amy Felty
Aart Middeldorp
机构：
[1] University of Ottawa,School of Electrical Engineering and Computer Science
[2] University of Innsbruck,Department of Computer Science
来源：
Journal of Automated Reasoning | 2017年 / 58卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：311 / 312
页数：1
相关论文
共 50 条
  • [21] Selected Extended Papers of NFM 2017: Preface
    Clark Barrett
    Temesghen Kahsai
    Journal of Automated Reasoning, 2019, 63 : 1003 - 1004
  • [22] Selected Extended Papers of NFM 2016: Preface
    César A. Muñoz
    Sanjai Rayadurgam
    Oksana Tkachuk
    Journal of Automated Reasoning, 2018, 60 : 1 - 2
  • [23] 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):
  • [24] Extended papers selected from ESSDERC 2015
    Grasser, Tibor
    Schmitz, Jurriaan
    Lemme, Max C.
    SOLID-STATE ELECTRONICS, 2016, 125 : 1 - 1
  • [25] Selected and extended papers from SBLP 2013 Preface
    Du Bois, Andre Rauber
    Trinder, Phil
    SCIENCE OF COMPUTER PROGRAMMING, 2016, 132 : 1 - 1
  • [26] 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
  • [27] Selected and Extended Papers from TACAS 2018: Preface
    Beyer, Dirk
    Huisman, Marieke
    JOURNAL OF AUTOMATED REASONING, 2020, 64 (07) : 1331 - 1332
  • [28] Selected and extended papers from FACS 2016 Preface
    Kouchnarenko, Olga
    Madelaine, Eric
    SCIENCE OF COMPUTER PROGRAMMING, 2019, 178 : 43 - 44
  • [29] Selected Extended Papers of ITP 2017Preface
    Mauricio Ayala-Rincón
    César Muñoz
    Journal of Automated Reasoning, 2019, 63 : 319 - 321
  • [30] Selected and Extended Papers from TACAS 2018: Preface
    Dirk Beyer
    Marieke Huisman
    Journal of Automated Reasoning, 2020, 64 : 1331 - 1332
12345