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 条

[31] Preface: Selected Extended Papers of CADE 2017
de Moura, Leonardo
JOURNAL OF AUTOMATED REASONING, 2020, 64 (03) : 511 - 511
[32] Selected Extended Papers of ITP 2015: Preface
Xingyuan Zhang
Christian Urban
Journal of Automated Reasoning, 2019, 62 : 431 - 432
[33] Selected Extended Papers of NFM 2016: Preface
César A. Muñoz
Sanjai Rayadurgam
Oksana Tkachuk
Journal of Automated Reasoning, 2018, 60 : 1 - 2
[34] 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):
[35] Preface - Selected Papers from AST 2010
Chang, Ruay-Shiung
Wu, Chung-Hsien
JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2012, 35 (05) : 507 - 507
[36] Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software
Lanese, Ivan
Madelaine, Eric
SCIENCE OF COMPUTER PROGRAMMING, 2016, 127 : 1 - 1
[37] Selected and extended papers from SBLP 2013 Preface
Du Bois, Andre Rauber
Trinder, Phil
SCIENCE OF COMPUTER PROGRAMMING, 2016, 132 : 1 - 1
[38] 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
[39] Selected and Extended Papers from TACAS 2018: Preface
Beyer, Dirk
Huisman, Marieke
JOURNAL OF AUTOMATED REASONING, 2020, 64 (07) : 1331 - 1332
[40] Selected Extended Papers of ITP 2017Preface
Mauricio Ayala-Rincón
César Muñoz
Journal of Automated Reasoning, 2019, 63 : 319 - 321

← 1 2 3 4 5 →