Special issue: program equivalence

被引：2
作者：
Strichman, Ofer [1 ]
机构：
[1] Technion, IE, Informat Syst Engn, Haifa, Israel
来源：
FORMAL METHODS IN SYSTEM DESIGN | 2018年 / 52卷 / 03期
关键词：
D O I：
10.1007/s10703-018-0318-y
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：227 / 228
页数：2
相关论文
共 50 条
  • [21] Special Invited Issue on Inclusive Program Models
    Dunlap, Glen
    TOPICS IN EARLY CHILDHOOD SPECIAL EDUCATION, 2011, 31 (03) : 132 - 132
  • [22] SPECIAL ISSUE ON PROGRAM-EVALUATION - FOREWARD
    JANSEN, MA
    REHABILITATION PSYCHOLOGY, 1984, 29 (01) : 3 - 3
  • [23] SPECIAL ISSUE ON PROGRAM-EVALUATION - INTRODUCTION
    FLYNN, RJ
    REHABILITATION PSYCHOLOGY, 1984, 29 (01) : 5 - 10
  • [24] SPECIAL ISSUE ON MATHEMATICS OF PROGRAM CONSTRUCTION - FOREWORD
    MORGAN, C
    SCIENCE OF COMPUTER PROGRAMMING, 1994, 22 (1-2) : 1 - 2
  • [25] Special issue on mathematics of program construction - Foreword
    Jeuring, J
    Lengauer, C
    Sheeran, M
    SCIENCE OF COMPUTER PROGRAMMING, 2000, 37 (1-3) : 1 - 2
  • [26] Announcement of a special virtual issue on the EuroGRAPHENE program
    Palermo, Vincenzo
    La Magna, Antonino
    Helman, Ana
    Hurt, Robert
    Horn, Karsten
    CARBON, 2015, 85 : 450 - 451
  • [27] Special issue of the NEEDS-Environment program
    Radakovitch, O.
    Ciffroy, P.
    Le Roux, G.
    Thiry, Y.
    Journal of Environmental Radioactivity, 2021, 227
  • [28] Special Issue on LAGR Program, Part II
    Huang, Wes
    Grudic, Greg
    Matthies, Larry
    JOURNAL OF FIELD ROBOTICS, 2009, 26 (02) : 115 - 116
  • [29] Correction to: Preface to the special issue on program comprehension
    Janet Siegmund
    Chanchal K. Roy
    Empirical Software Engineering, 2022, 27
  • [30] Special issue of the NEEDS-Environment program
    Radakovitch, O.
    Ciffroy, P.
    Le Roux, G.
    Thiry, Y.
    JOURNAL OF ENVIRONMENTAL RADIOACTIVITY, 2021, 227
12345