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