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 条
[41]   Special issue:: The National Evaluation of the Comprehensive Community Mental Health Services for Children and Their Families Program -: Introduction to special issue [J].
De Carolis, G .
JOURNAL OF EMOTIONAL AND BEHAVIORAL DISORDERS, 2001, 9 (01) :2-3
[42]   Special issue on static program analysis (SAS'98) - Preface [J].
Levi, G .
SCIENCE OF COMPUTER PROGRAMMING, 2001, 39 (01) :1-1
[43]   Special Issue: Hospitality Management Program Selection: An International Perspective [J].
O'Mahony, Barry ;
Whitelaw, Paul A. ;
McWilliams, Alan .
JOURNAL OF HOSPITALITY & TOURISM EDUCATION, 2008, 20 (03) :4-4
[44]   PROGRAM - SPECIAL ISSUE ON SOFTWARE PACKAGES FOR INFORMATION-RETRIEVAL [J].
CLOUGH, CR .
ONLINE REVIEW, 1982, 6 (06) :497-498
[45]   Introduction to special issue - The NASA Affiliated Research Center Program [J].
Peters, AJ ;
Rundquist, DC .
PHOTOGRAMMETRIC ENGINEERING AND REMOTE SENSING, 2000, 66 (11) :1286-1287
[46]   Special issue: Contemporary mega-project and program management [J].
James Jiang ;
Gary Klein ;
Wayne Huang ;
Shan Liu ;
Xiaosong Wu .
Journal of Management Science and Engineering, 2020, 5 (03) :147-149
[47]   SPECIAL ICARUS MARS-DATA-ANALYSIS-PROGRAM ISSUE [J].
BURNS, JA .
ICARUS, 1981, 45 (01) :1-1
[48]   Introduction to the Special Issue: Trends in Evolutionary Methods for Program Induction [J].
O'Reilly, Una-May ;
Angeline, Peter J. .
EVOLUTIONARY COMPUTATION, 1997, 5 (02) :V-IX
[49]   Special issue: The PRESTO program: Structure and functional properties - Preface [J].
Kohra, K .
ADVANCES IN COLLOID AND INTERFACE SCIENCE, 1997, 71-2 :1-2
[50]   SPECIAL ISSUE - MOPAC - A SEMIEMPIRICAL MOLECULAR-ORBITAL PROGRAM [J].
STEWART, JJP .
JOURNAL OF COMPUTER-AIDED MOLECULAR DESIGN, 1990, 4 (01) :1-45
12345