Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12) Preface

被引：0

作者：

Pasareanu, Corina S. ^{[1
]}

Salauen, Gwen ^{[2
]}

机构：

[1] NASA Ames, Moffett Field, CA 94035 USA

[2] Inria, Grenoble INP, Grenoble, France

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2014年 / 91卷

关键词：

D O I：

10.1016/j.scico.2014.01.015

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1 / 2

页数：2

共 50 条

[1] Formal Aspects of Component Software (FACS 2011 selected & extended papers) Preface
Arbab, Farhad
Olveczky, Peter Csaba
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 83 : 1 - 2
[2] Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017) Preface
Proenca, Jose
Lumpe, Markus
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2022, 218
[3] Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface
Barbosa, Luis Soares
Lumpe, Markus
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 94 : 253 - 254
[4] Special Issue on Selected papers of the 5th International Workshop on Formal Aspects of Component Software (FACS'08) Preface
Canal, Carlos
Pasareanu, Corina S.
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2010, 75 (10) : 809 - 810
[5] Formal aspects of component software (FACS 2018) Preface
Bae, Kyungmin
Olveczky, Peter Csaba
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2020, 200 (200)
[6] Preface - Special Issue on selected and extended papers from FACS 2019 Preface
Jongmans, Sung-Shik
Arbab, Farhad
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2022, 218
[7] Preface to Special issue with extended selected papers from FACS 2015
Braga, Christiano
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2017, 146 : 1 - 1
[8] Formal Aspects of Component Software (FACS'09)
Meng, Sun
Schaetz, Bernhard
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2012, 78 (01) : 1 - 2
[9] Formal Aspects of Component Software (FACS 2013)
Fiadeiro, Jose Luiz
Liu, Zhiming
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 113 : 221 - 222
[10] Special Issue: Selected Papers from NUMDIFF-12 Preface
Verwer, Jan
Hundsdorfer, Willem
Arnold, Martin
Weiner, Ruediger
[J]. APPLIED NUMERICAL MATHEMATICS, 2012, 62 (10) : 1257 - 1258

← 1 2 3 4 5 →