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 条

[31] Preface of the Special Issue Dedicated to Selected Papers from CSR 2020
Henning Fernau
Mikhail Volkov
[J]. Theory of Computing Systems, 2023, 67 : 219 - 220
[32] Preface of the Special Issue Dedicated to Selected Papers from IWOCA 2022
Bazgan, Cristina
Fernau, Henning
[J]. ALGORITHMICA, 2024, 86 (3) : 695 - 696
[33] Special issue on selected and extended papers from SIMPAR 2016 PREFACE
Kroger, Torsten
Menon, Samir
Mombaur, Katja
Kurniawati, Hanna
Pavone, Marco
[J]. ADVANCED ROBOTICS, 2017, 31 (22) : 1157 - 1158
[34] Preface to the Special Issue of selected papers from ThinFilms2014
Zhang, Sam
Goh, Gregory K. L.
Chen, Zhong
Chen, Jinju
Liu, Erjia
Li, Lin
Sun, Lidong
[J]. THIN SOLID FILMS, 2015, 584 : 1 - 1
[35] Preface: Special Issue of Selected Extended Papers from IJCAR 2018
Didier Galmiche
Stephan Schulz
Roberto Sebastiani
[J]. Journal of Automated Reasoning, 2020, 64 : 1165 - 1167
[36] Preface of the Special Issue Dedicated to Selected Papers from CSR 2020
Fernau, Henning
Volkov, Mikhail
[J]. THEORY OF COMPUTING SYSTEMS, 2023, 67 (2) : 219 - 220
[37] Preface of the Special Issue Dedicated to Selected Papers from DLT 2022
Diekert, Volker
Volkov, Mikhail
[J]. THEORY OF COMPUTING SYSTEMS, 2024, 68 (03) : 299 - 300
[38] Special Issue: Selected Papers from NUMDIFF-11 Preface
Sommeijer, Ben
Verwer, Jan
Arnold, Martin
Weiner, Ruediger
[J]. APPLIED NUMERICAL MATHEMATICS, 2009, 59 (3-4) : 405 - 405
[39] Preface to the special issue of selected papers from FCS/VERIFY 2002
Serge Autexier
Iliano Cervesato
Heiko Mantel
[J]. International Journal of Information Security, 2005, 4 (1-2) : 1 - 1
[40] Special Issue: Selected Papers from the Yellow Mountain Workshop - Preface
Zhou, XY
Zhang, SG
[J]. MATHEMATICAL FINANCE, 2006, 16 (01) : III - III

← 1 2 3 4 5 →