Special issue on 'Software Engineering and Formal Methods'

被引：0

|

作者：

不详

机构：

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2023年 / 225卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页数：1

相关论文

共 50 条

[1] Special issue on ‘Software Engineering and Formal Methods’
[J]. Science of Computer Programming, 2023, 225
[2] Special issue on 'Software Engineering and Formal Methods' Preface
不详
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
[3] Introduction to the Software Engineering and Formal Methods 2013 special issue
Mario Bravetti
Robert M. Hierons
Mercedes G. Merayo
[J]. Software & Systems Modeling, 2017, 16 : 5 - 6
[4] SPECIAL ISSUE ON FORMAL METHODS IN DATABASES AND SOFTWARE ENGINEERING - FOREWORD
ALAGAR, VS
[J]. THEORETICAL COMPUTER SCIENCE, 1994, 133 (02) : 203 - 204
[5] Introduction to the Software Engineering and Formal Methods 2013 special issue
Bravetti, Mario
Hierons, Robert M.
Merayo, Mercedes G.
[J]. SOFTWARE AND SYSTEMS MODELING, 2017, 16 (01): : 5 - 6
[6] Foreword to the Special Issue on Formal Methods for Software Product Line Engineering
Batory, Don
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 121 - 122
[7] Special issue on formal methods for security engineering
Antonella Santone
[J]. Journal of Computer Virology and Hacking Techniques, 2018, 14 (4) : 251 - 251
[8] Special issue on formal methods for security engineering
Santone, Antonella
[J]. JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES, 2018, 14 (04): : 251 - 251
[9] Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering
ter Beek, Maurice H.
Clarke, Dave
Schaefer, Ina
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 123 - 124
[10] SoSyM Special Section on Software Engineering and Formal Methods
Jorge Cuellar
Zhiming Liu
[J]. Software & Systems Modeling, 2007, 6 : 37 - 38

← 1 2 3 4 5 →