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 条

[1] Formal Aspects of Component Software (FACS 2011 selected & extended papers) Preface
Arbab, Farhad
Olveczky, Peter Csaba
SCIENCE OF COMPUTER PROGRAMMING, 2014, 83 : 1 - 2
[2] Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12) Preface
Pasareanu, Corina S.
Salauen, Gwen
SCIENCE OF COMPUTER PROGRAMMING, 2014, 91 : 1 - 2
[3] Formal aspects of component software (FACS 2018) Preface
Bae, Kyungmin
Olveczky, Peter Csaba
SCIENCE OF COMPUTER PROGRAMMING, 2020, 200 (200)
[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.
SCIENCE OF COMPUTER PROGRAMMING, 2010, 75 (10) : 809 - 810
[5] Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017) Preface
Proenca, Jose
Lumpe, Markus
SCIENCE OF COMPUTER PROGRAMMING, 2022, 218
[6] Formal Aspects of Component Software (FACS'09)
Meng, Sun
Schaetz, Bernhard
SCIENCE OF COMPUTER PROGRAMMING, 2012, 78 (01) : 1 - 2
[7] Formal Aspects of Component Software (FACS 2013)
Fiadeiro, Jose Luiz
Liu, Zhiming
SCIENCE OF COMPUTER PROGRAMMING, 2015, 113 : 221 - 222
[8] Selected and extended papers from FACS 2016 Preface
Kouchnarenko, Olga
Madelaine, Eric
SCIENCE OF COMPUTER PROGRAMMING, 2019, 178 : 43 - 44
[9] Preface - Special Issue on selected and extended papers from FACS 2019 Preface
Jongmans, Sung-Shik
Arbab, Farhad
SCIENCE OF COMPUTER PROGRAMMING, 2022, 218
[10] Preface to Special issue with extended selected papers from FACS 2015
Braga, Christiano
SCIENCE OF COMPUTER PROGRAMMING, 2017, 146 : 1 - 1

← 1 2 3 4 5 →