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 条

[41] Selected and Extended Papers from TACAS 2018: Preface
Dirk Beyer
Marieke Huisman
Journal of Automated Reasoning, 2020, 64 : 1331 - 1332
[42] Selected and extended papers from Bytecode 2013 Preface
Gomez-Zamalloa, Miguel
Puebla, German
SCIENCE OF COMPUTER PROGRAMMING, 2014, 95 : 343 - 343
[43] Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering Preface
Aoki, Toshiaki
Li, Qin
SCIENCE OF COMPUTER PROGRAMMING, 2022, 219
[44] Selected and extended papers from ACM SVT 2014 Preface
Pang, Jun
Stoelinga, Marielle
SCIENCE OF COMPUTER PROGRAMMING, 2016, 123 : 1 - 1
[45] Special Issue of Selected Extended Papers of IJCAR 2014 Preface
Demri, Stephane
Kapur, Deepak
Weidenbach, Christoph
JOURNAL OF AUTOMATED REASONING, 2017, 58 (01) : 1 - 2
[46] Preface: Special Issue of Selected Extended Papers of CADE 2019
Pascal Fontaine
Journal of Automated Reasoning, 2021, 65 : 891 - 892
[47] Preface: Special Issue of Selected Extended Papers of CADE 2019
Fontaine, Pascal
JOURNAL OF AUTOMATED REASONING, 2021, 65 (07) : 891 - 892
[48] Selected papers on Integrated Formal Methods (iFM09) Preface
Leuschel, Michael
Wehrheim, Heike
SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (10) : 835 - 836
[49] Fundamentals of Software Engineering (selected papers of FSEN 2011) Preface
Arbab, Farhad
Sirjani, Marjan
SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (12) : 2433 - 2434
[50] Fundamentals of software engineering (selected papers of FSEN'09) Preface
Arbab, Farhad
Sirjani, Marjan
SCIENCE OF COMPUTER PROGRAMMING, 2012, 77 (7-8) : 887 - 888

← 1 2 3 4 5 →