Special Issue on Selected papers of the 5th International Workshop on Formal Aspects of Component Software (FACS'08) Preface

被引：0

作者：

Canal, Carlos ^{[1
]}

Pasareanu, Corina S. ^{[2
]}

机构：

[1] Univ Malaga, E-29071 Malaga, Spain

[2] Carnegie Mellon Univ, NASA Ames, Pittsburgh, PA 15213 USA

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2010年 / 75卷 / 10期

关键词：

D O I：

10.1016/j.scico.2010.03.001

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：809 / 810

页数：2

共 50 条

[1] Proceedings of the 5th International Workshop on Formal Aspects of Component Software (FACS 2008) Preface
Canal, Carlos
Pasareanu, Corina S.
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 260 : 1 - 2
[2] Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12) Preface
Pasareanu, Corina S.
Salauen, Gwen
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 91 : 1 - 2
[3] 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
[4] 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
[5] 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
[6] Proceedings of the 4th International Workshop on Formal Aspects of Component Software ( FACS 2007) Preface
Lumpe, Markus
Madelaine, Eric
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 215 : 1 - 3
[7] Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software
Lanese, Ivan
Madelaine, Eric
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2016, 127 : 1 - 1
[8] Preface to the special issue: Selected papers from the 5th International Conference on Ultrafast Structural Dynamics
Ihee, Hyotcherl
[J]. STRUCTURAL DYNAMICS-US, 2020, 7 (06):
[9] Formal aspects of component software (FACS 2018) Preface
Bae, Kyungmin
Olveczky, Peter Csaba
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2020, 200 (200)
[10] Preface to Special Topic: Selected Papers from the 5th International Conference on Optofluidics
Fan, Shih-Kang
Yang, Zhenchuan
[J]. BIOMICROFLUIDICS, 2016, 10 (01):

← 1 2 3 4 5 →