Special issue on static program analysis (SAS'98) - Preface

被引：5

作者：

Levi, G ^{[1
]}

机构：

[1] Univ Pisa, Dipartimento Informat, I-56125 Pisa, Italy

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2001年 / 39卷 / 01期

关键词：

D O I：

10.1016/S0167-6423(00)00012-5

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1 / 1

页数：1

共 50 条

[21] Special issue - Energy conversion systems (ECOS) 98 - Preface
Feidt, M
Lior, N
ENERGY CONVERSION AND MANAGEMENT, 1999, 40 (15-16) : 1585 - 1585
[22] Special issue - CHISA 98 Special Issue
Darton, R
CHEMICAL ENGINEERING JOURNAL, 2000, 79 (03) : 177 - 177
[23] Special issue - ICOMAT 98 - International Conference on Martensitic Transformations - Preface
Ahlers, M
Kostorz, G
Sade, M
MATERIALS SCIENCE AND ENGINEERING A-STRUCTURAL MATERIALS PROPERTIES MICROSTRUCTURE AND PROCESSING, 1999, 273 : XIV - XV
[24] Special issue on program comprehension (IWPC'99) - Preface
Smith, D
Woods, S
SCIENCE OF COMPUTER PROGRAMMING, 2001, 40 (2-3) : 147 - 149
[25] Preface to the special issue on Stochastic Analysis
El Karoui, Nicole
Malliavin, Paul
Di Nunno, Giulia
Obata, Nobuaki
Oksendal, Bernt
Ouerdiane, Habib
STOCHASTICS-AN INTERNATIONAL JOURNAL OF PROBABILITY AND STOCHASTIC PROCESSES, 2009, 81 (3-4) : 199 - 199
[26] Special issue on 'Network Analysis' Preface
Ferligoj, Anuska
Batagelj, Vladimir
ADVANCES IN DATA ANALYSIS AND CLASSIFICATION, 2011, 5 (02) : 77 - 79
[27] SPECIAL ISSUE ON FAILURE ANALYSIS - PREFACE
EISENBERG, PH
TAMBURRINO, AL
IEEE TRANSACTIONS ON RELIABILITY, 1980, 29 (03) : 194 - 195
[28] Special Issue: Nutraceuticals Analysis - Preface
Chankvetadze, Bezhan
Cifuentes, Alejandro
JOURNAL OF PHARMACEUTICAL AND BIOMEDICAL ANALYSIS, 2006, 41 (05) : 1485 - 1485
[29] Special issue on SAS'96 - Foreword
Cousot, R
Schmidt, D
SCIENCE OF COMPUTER PROGRAMMING, 1999, 35 (2-3) : 77 - 77
[30] Special issue on 'SAS 2016' Foreword
Rival, Xavier
FORMAL METHODS IN SYSTEM DESIGN, 2018, 53 (02) : 165 - 165

← 1 2 3 4 5 →