Selected Extended Papers of NFM 2016: Preface

被引：0
|
作者：
机构：
[1] Muñoz, César A.
[2] Rayadurgam, Sanjai
[3] Tkachuk, Oksana
来源：
Muñoz, César A. (cesar.a.munoz@nasa.gov) | 1600年 / Springer Science and Business Media B.V.卷 / 60期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Selected Extended Papers of NFM 2016: Preface
    César A. Muñoz
    Sanjai Rayadurgam
    Oksana Tkachuk
    Journal of Automated Reasoning, 2018, 60 : 1 - 2
  • [2] Selected Extended Papers of NFM 2016: Preface
    Munoz, Cesar A.
    Rayadurgam, Sanjai
    Tkachuk, Oksana
    JOURNAL OF AUTOMATED REASONING, 2018, 60 (01) : 1 - 2
  • [3] Selected Extended Papers of NFM 2017: Preface
    Barrett, Clark
    Kahsai, Temesghen
    JOURNAL OF AUTOMATED REASONING, 2019, 63 (04) : 1003 - 1004
  • [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 2017: Preface
    Clark Barrett
    Temesghen Kahsai
    Journal of Automated Reasoning, 2019, 63 : 1003 - 1004
  • [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] Selected Extended Papers of ITP 2016: Preface
    Jasmin Christian Blanchette
    Stephan Merz
    Journal of Automated Reasoning, 2019, 62 : 169 - 170
  • [10] Selected Extended Papers of ITP 2016: Preface
    Blanchette, Jasmin Christian
    Merz, Stephan
    JOURNAL OF AUTOMATED REASONING, 2019, 62 (02) : 169 - 170
12345