Software engineering and formal methods: SEFM 2019 special section

被引：0

作者：

Olveczky, Peter Csaba ^{[1
]}

Salaun, Gwen ^{[2
]}

机构：

[1] Univ Oslo, Dept Informat, Oslo, Norway

[2] Univ Grenoble Alpes, Grenoble, France

来源：

SOFTWARE AND SYSTEMS MODELING | 2021年 / 20卷 / 02期

关键词：

We would like to express our most sincere thanks to all the people who have made this special section possible: to the authors for writing the papers and incorporating all the corrections and improvements required by a thorough reviewing process; to the reviewers for kindly contributing their time and effort to ensure the highest quality of each paper; and to Martin Schindler for agreeing to publish this special section in Software and Systems Modeling and for his very valuable and friendly assistance in bringing it to publication;

D O I：

10.1007/s10270-021-00874-1

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：291 / 292

页数：2

共 50 条

[1] Software engineering and formal methods: SEFM 2019 special section
Peter Csaba Ölveczky
Gwen Salaün
[J]. Software and Systems Modeling, 2021, 20 : 291 - 292
[2] SEFM: software engineering and formal methods
Barthe, Gilles
Pardo, Alberto
Schneider, Gerardo
[J]. SOFTWARE AND SYSTEMS MODELING, 2015, 14 (01): : 3 - 4
[3] SEFM: software engineering and formal methods
Gilles Barthe
Alberto Pardo
Gerardo Schneider
[J]. Software & Systems Modeling, 2015, 14 : 3 - 4
[4] Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008
Antonio Cerone
Stefan Gruner
[J]. Software & Systems Modeling, 2011, 10 : 143 - 145
[5] Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008
Cerone, Antonio
Gruner, Stefan
[J]. SOFTWARE AND SYSTEMS MODELING, 2011, 10 (02): : 143 - 145
[6] SoSyM Special Section on Software Engineering and Formal Methods
Jorge Cuellar
Zhiming Liu
[J]. Software & Systems Modeling, 2007, 6 : 37 - 38
[7] SoSyM special section on software engineering and formal methods
Cuellar, Jorge
Liu, Zhiming
[J]. SOFTWARE AND SYSTEMS MODELING, 2007, 6 (01): : 37 - 38
[8] Special section on formal methods in software practice
Dillon, LK
Sankar, S
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (01) : 2 - 3
[9] Special issue on ‘Software Engineering and Formal Methods’
[J]. Science of Computer Programming, 2023, 225
[10] Special issue on 'Software Engineering and Formal Methods'
不详
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 225

← 1 2 3 4 5 →