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’
Science of Computer Programming, 2023, 225
[2] Special issue on 'Software Engineering and Formal Methods' Preface
不详
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
Software & Systems Modeling, 2017, 16 : 5 - 6
[4] SPECIAL ISSUE ON FORMAL METHODS IN DATABASES AND SOFTWARE ENGINEERING - FOREWORD
ALAGAR, VS
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.
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
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 121 - 122
[7] Special issue on formal methods for security engineering
Santone, Antonella
JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES, 2018, 14 (04) : 251 - 251
[8] Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering
ter Beek, Maurice H.
Clarke, Dave
Schaefer, Ina
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 123 - 124
[9] SoSyM Special Section on Software Engineering and Formal Methods
Jorge Cuellar
Zhiming Liu
Software & Systems Modeling, 2007, 6 : 37 - 38
[10] SoSyM special section on software engineering and formal methods
Cuellar, Jorge
Liu, Zhiming
SOFTWARE AND SYSTEMS MODELING, 2007, 6 (01): : 37 - 38

← 1 2 3 4 5 →