Selected Extended Papers of NFM 2017: Preface

被引：0
|
作者：
Clark Barrett
Temesghen Kahsai
机构：
[1] Stanford University,
[2] University of Iowa,undefined
来源：
Journal of Automated Reasoning | 2019年 / 63卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1003 / 1004
页数：1
相关论文
共 50 条
  • [1] Selected Extended Papers of NFM 2017: Preface
    Barrett, Clark
    Kahsai, Temesghen
    JOURNAL OF AUTOMATED REASONING, 2019, 63 (04) : 1003 - 1004
  • [2] Selected Extended Papers of NFM 2016: Preface
    César A. Muñoz
    Sanjai Rayadurgam
    Oksana Tkachuk
    Journal of Automated Reasoning, 2018, 60 : 1 - 2
  • [3] Selected Extended Papers of NFM 2016: Preface
    Munoz, Cesar A.
    Rayadurgam, Sanjai
    Tkachuk, Oksana
    JOURNAL OF AUTOMATED REASONING, 2018, 60 (01) : 1 - 2
  • [4] 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
  • [5] 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):
  • [6] 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
  • [7] Selected extended papers of NFM 2018
    Dutle, Aaron
    Munoz, Cesar
    Narkawicz, Anthony
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2019, 15 (3-4) : 167 - 168
  • [8] Selected extended papers of NFM 2018
    Aaron Dutle
    César Muñoz
    Anthony Narkawicz
    Innovations in Systems and Software Engineering, 2019, 15 : 167 - 168
  • [9] Preface: Selected Extended Papers of CADE 2017
    Leonardo de Moura
    Journal of Automated Reasoning, 2020, 64 : 511 - 511
  • [10] Selected Extended Papers of ITP 2017: Preface
    Ayala-Rincon, Mauricio
    Munoz, Cesar
    JOURNAL OF AUTOMATED REASONING, 2019, 63 (02) : 319 - 321
12345