Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface

被引：0
|
作者：
Barbosa, Luis Soares [1 ]
Lumpe, Markus [2 ]
机构：
[1] Univ Minho, P-4719 Braga, Portugal
[2] Swinburne Univ Technol, Hawthorn, Vic 3122, Australia
来源：
SCIENCE OF COMPUTER PROGRAMMING | 2014年 / 94卷
关键词：
D O I：
10.1016/j.scico.2014.03.010
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：253 / 254
页数：2
相关论文
共 50 条
  • [21] Preface: Selected Extended Papers of CADE 2017
    Leonardo de Moura
    Journal of Automated Reasoning, 2020, 64 : 511 - 511
  • [22] Selected Extended Papers of NFM 2016: Preface
    Munoz, Cesar A.
    Rayadurgam, Sanjai
    Tkachuk, Oksana
    JOURNAL OF AUTOMATED REASONING, 2018, 60 (01) : 1 - 2
  • [23] Selected Extended Papers of NFM 2017: Preface
    Barrett, Clark
    Kahsai, Temesghen
    JOURNAL OF AUTOMATED REASONING, 2019, 63 (04) : 1003 - 1004
  • [24] 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
  • [25] Selected Extended Papers of ITP 2015: Preface
    Zhang, Xingyuan
    Urban, Christian
    JOURNAL OF AUTOMATED REASONING, 2019, 62 (04) : 431 - 432
  • [26] Selected Extended Papers of ITP 2016: Preface
    Jasmin Christian Blanchette
    Stephan Merz
    Journal of Automated Reasoning, 2019, 62 : 169 - 170
  • [27] Selected Extended Papers of ITP 2016: Preface
    Blanchette, Jasmin Christian
    Merz, Stephan
    JOURNAL OF AUTOMATED REASONING, 2019, 62 (02) : 169 - 170
  • [28] Preface: Selected Extended Papers of CADE 2015
    Amy Felty
    Aart Middeldorp
    Journal of Automated Reasoning, 2017, 58 : 311 - 312
  • [29] Selected Extended Papers of ITP 2017: Preface
    Ayala-Rincon, Mauricio
    Munoz, Cesar
    JOURNAL OF AUTOMATED REASONING, 2019, 63 (02) : 319 - 321
  • [30] Selected Extended Papers of NFM 2017: Preface
    Clark Barrett
    Temesghen Kahsai
    Journal of Automated Reasoning, 2019, 63 : 1003 - 1004
12345