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 [J].
Dunlap, Glen .
TOPICS IN EARLY CHILDHOOD SPECIAL EDUCATION, 2011, 31 (03) :132-132
[22]   SPECIAL ISSUE ON PROGRAM-EVALUATION - FOREWARD [J].
JANSEN, MA .
REHABILITATION PSYCHOLOGY, 1984, 29 (01) :3-3
[23]   SPECIAL ISSUE ON MATHEMATICS OF PROGRAM CONSTRUCTION - FOREWORD [J].
VANDESNEPSCHEUT, JLA .
SCIENCE OF COMPUTER PROGRAMMING, 1990, 14 (2-3) :113-115
[24]   Special Issue on LAGR Program, Part II [J].
Huang, Wes ;
Grudic, Greg ;
Matthies, Larry .
JOURNAL OF FIELD ROBOTICS, 2009, 26 (02) :115-116
[25]   Special issue on information retrieval for program comprehension [J].
Letha Etzkorn ;
Tim Menzies .
Empirical Software Engineering, 2009, 14 :1-4
[26]   Announcement of a special virtual issue on the EuroGRAPHENE program [J].
Palermo, Vincenzo ;
La Magna, Antonino ;
Helman, Ana ;
Hurt, Robert ;
Horn, Karsten .
CARBON, 2015, 85 :450-451
[27]   SPECIAL ISSUE ON PROGRAM-EVALUATION - INTRODUCTION [J].
FLYNN, RJ .
REHABILITATION PSYCHOLOGY, 1984, 29 (01) :5-10
[28]   SPECIAL ISSUE ON MATHEMATICS OF PROGRAM CONSTRUCTION - FOREWORD [J].
MORGAN, C .
SCIENCE OF COMPUTER PROGRAMMING, 1994, 22 (1-2) :1-2
[29]   Special issue on mathematics of program construction - Foreword [J].
Jeuring, J ;
Lengauer, C ;
Sheeran, M .
SCIENCE OF COMPUTER PROGRAMMING, 2000, 37 (1-3) :1-2
[30]   Special issue of the NEEDS-Environment program [J].
Radakovitch, O. ;
Ciffroy, P. ;
Le Roux, G. ;
Thiry, Y. .
Journal of Environmental Radioactivity, 2021, 227
12345