Special issue: program equivalence

被引：2

作者：

Strichman, Ofer ^{[1
]}

机构：

[1] Technion, IE, Informat Syst Engn, Haifa, Israel

来源：

关键词：

D O I：

10.1007/s10703-018-0318-y

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：227 / 228

页数：2

共 50 条

[1] Special issue: program equivalence
Ofer Strichman
Formal Methods in System Design, 2018, 52 : 227 - 228
[2] SPECIAL ISSUE ON STIMULUS EQUIVALENCE - FOREWORD
FIELDS, L
PSYCHOLOGICAL RECORD, 1993, 43 (04): : 543 - 546
[3] Special issue on 'Program development'
Bruynooghe, M
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2002, 2 : 423 - 424
[4] Special issue on program comprehension
Michael W. Godfrey
Arie van Deursen
Empirical Software Engineering, 2014, 19 : 1259 - 1260
[5] Special issue on program debugging
Ghosh, Sudipto
Li, J. Jenny
SOFTWARE QUALITY JOURNAL, 2017, 25 (01) : 3 - 5
[6] Special issue: Program algebra
Middelburg, CA
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2002, 51 (02): : 123 - 124
[7] Special issue on program debugging
Sudipto Ghosh
J. Jenny Li
Software Quality Journal, 2017, 25 : 3 - 5
[8] Special issue on program comprehension
Godfrey, Michael W.
van Deursen, Arie
EMPIRICAL SOFTWARE ENGINEERING, 2014, 19 (05) : 1259 - 1260
[9] Special Issue: Asian 3 Foresight Program Special Issue Preface
Chen, Xuesi
Park, Tae Gwan
Maruyama, Atsushi
JOURNAL OF CONTROLLED RELEASE, 2011, 155 (01) : 1 - 1
[10] Preface to the special issue on program comprehension
Siegmund, Janet
Roy, Chanchal K.
EMPIRICAL SOFTWARE ENGINEERING, 2020, 25 (03) : 2137 - 2139