Software engineering and formal methods: SEFM 2019 special section

被引：0

作者：

Peter Csaba Ölveczky

Gwen Salaün

机构：

[1] University of Oslo,Department of Informatics

[2] University Grenoble Alpes,undefined

来源：

Software and Systems Modeling | 2021年 / 20卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：291 / 292

页数：1

共 50 条

[1] Software engineering and formal methods: SEFM 2019 special section
Olveczky, Peter Csaba
Salaun, Gwen
[J]. SOFTWARE AND SYSTEMS MODELING, 2021, 20 (02): : 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 →