Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software

被引：0

作者：

Lanese, Ivan ^{[1
,2
]}

Madelaine, Eric ^{[2
]}

机构：

[1] Univ Bologna, I-40126 Bologna, Italy

[2] INRIA, Rocquencourt, France

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2016年 / 127卷

关键词：

D O I：

10.1016/j.scico.2016.04.006

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1 / 1

页数：1

共 50 条

[11] 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
[12] Special issue - 11th International Symposium on Toxicity Assessment - Guest editorial
Manusadzianas, L
ENVIRONMENTAL TOXICOLOGY, 2004, 19 (04) : 265 - 266
[13] Introduction to Special Issue "The 11th International Retroviral Nucleocapsid and Assembly Symposium"
Williams, Mark C.
Ono, Akira
VIRUSES-BASEL, 2020, 12 (11):
[14] Special Issue: 11th International Symposium on Soil and Plant Analysis Foreword
Kissel, David E.
COMMUNICATIONS IN SOIL SCIENCE AND PLANT ANALYSIS, 2012, 43 (1-2) : 1 - 2
[15] Special Issue on the 11th International Conference on Catalysis in Membrane Reactors Preface
Sousa, Jose M.
Basile, Angelo
Crespo, Joao
CATALYSIS TODAY, 2014, 236 : 1 - 2
[16] 11th International Symposium on BioChromatography and Nanoseparation Preface
de Lamotte, Frederic
JOURNAL OF CHROMATOGRAPHY B-ANALYTICAL TECHNOLOGIES IN THE BIOMEDICAL AND LIFE SCIENCES, 2009, 877 (24): : 2419 - 2419
[17] Special issue: Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020)
Raskin, Jean-Francois
Bresolin, Davide
INFORMATION AND COMPUTATION, 2022, 289
[18] Special issue-11th International symposium on supercritical fluids Preface
Kim, Jaehoon
Lee, Youn-Woo
Adschiri, Tadafumi
Chen, Yan-Ping
Goto, Motonobu
Han, Buxing
JOURNAL OF SUPERCRITICAL FLUIDS, 2017, 120 : 207 - 208
[19] Preface for the special issue of the 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018)
Zhang, Chenyi
Pang, Jun
SCIENCE OF COMPUTER PROGRAMMING, 2020, 187
[20] Preface for the special issue of the 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018)
Zhang, Chenyi
Pang, Jun
Science of Computer Programming, 2021, 187

← 1 2 3 4 5 →