Special section on formal methods in software practice

被引：0

作者：

Dillon, LK ^{[1
]}

Sankar, S

机构：

[1] Michigan State Univ, Dept Comp Sci, E Lansing, MI 48824 USA

[2] Univ Calif Santa Barbara, Dept Comp Sci, Santa Barbara, CA 93106 USA

[3] Sun Microsyst Inc, Mt View, CA 94043 USA

[4] Stanford Univ, Comp Syst Lab, Stanford, CA 94305 USA

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1998年 / 24卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：2 / 3

页数：2

共 50 条

[1] SoSyM Special Section on Software Engineering and Formal Methods
Jorge Cuellar
Zhiming Liu
[J]. Software & Systems Modeling, 2007, 6 : 37 - 38
[2] SoSyM special section on software engineering and formal methods
Cuellar, Jorge
Liu, Zhiming
[J]. SOFTWARE AND SYSTEMS MODELING, 2007, 6 (01): : 37 - 38
[3] Software engineering and formal methods: SEFM 2019 special section
Peter Csaba Ölveczky
Gwen Salaün
[J]. Software and Systems Modeling, 2021, 20 : 291 - 292
[4] Software engineering and formal methods: SEFM 2019 special section
Olveczky, Peter Csaba
Salaun, Gwen
[J]. SOFTWARE AND SYSTEMS MODELING, 2021, 20 (02): : 291 - 292
[5] Preface to the special section on improving software quality through formal methods
Falcone, Ylies
Mariani, Leonardo
[J]. SOFTWARE QUALITY JOURNAL, 2020, 28 (02) : 693 - 694
[6] Preface to the special section on improving software quality through formal methods
Yliès Falcone
Leonardo Mariani
[J]. Software Quality Journal, 2020, 28 : 693 - 694
[7] Special Section on Formal Methods in Manufacturing
Campos, Javier
[J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (02) : 125 - 126
[8] Special Section on “Leveraging Formal Methods”
Tiziana Margaria
Bernhard Steffen
[J]. International Journal on Software Tools for Technology Transfer, 2006, 8 (6) : 467 - 469
[9] Formal methods in software practice - Introduction
Dillon, LK
Sankar, S
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) : 265 - 266
[10] Special issue on ‘Software Engineering and Formal Methods’
[J]. Science of Computer Programming, 2023, 225

← 1 2 3 4 5 →