Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation

被引：1

作者：

D'Souza, Deepak ^{[1
]}

Lal, Akash ^{[1
]}

机构：

[1] Indian Inst Sci, Dept Comp Sci & Automat, Bangalore, Karnataka, India

来源：

COMPUTER LANGUAGES SYSTEMS & STRUCTURES | 2017年 / 47卷

关键词：

D O I：

10.1016/j.cl.2016.06.002

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1 / 1

页数：1

共 50 条

[41] Special issue - Selected presentations from the 16th International Plansee Seminar 2005
Schade, P
Bartha, L
[J]. INTERNATIONAL JOURNAL OF REFRACTORY METALS & HARD MATERIALS, 2006, 24 (04): : 273 - 274
[42] Special Issue Dedicated to the 16th International Symposium on Parameterized and Exact Computation FOREWORD
Golovach, Petr A.
Zehavi, Meirav
[J]. ALGORITHMICA, 2022, 84 (11) : 3107 - 3109
[43] Special Issue: IAB 16th World Congress
Chuan, Voo Teck
Wangmo, Tenzin
Elger, Bernice S.
[J]. BIOETHICS, 2024, 38 (01) : 3 - 4
[44] Introduction to the special issue 16th International Workshop on Optimization and Inverse Problems in Electromagnetism
Ziolkowski, Marcin
[J]. INTERNATIONAL JOURNAL OF APPLIED ELECTROMAGNETICS AND MECHANICS, 2022, 69 (03) : 303 - 304
[45] Special issue: 16th International Symposium on the Photochemistry and Photophysics of Coordination Compounds - Preface
Hoggard, PE
[J]. COORDINATION CHEMISTRY REVIEWS, 2006, 250 (13-14) : 1621 - 1621
[46] Special issue - 16th International Conference on X-Ray Optics and Microanalysis - Vienna, Austria - July 2001 - Preface
Mantler, M
Wobrauschek, P
Friedbacher, G
Schreiner, M
[J]. SPECTROCHIMICA ACTA PART B-ATOMIC SPECTROSCOPY, 2003, 58 (04) : 585 - 587
[47] Special issue section of Clean Technology and Environmental Policy dedicated to 16th SDEWES conference
Josip Miškić
Tomislav Pukšec
Neven Duić
[J]. Clean Technologies and Environmental Policy, 2022, 24 : 2981 - 2981
[48] International Conference 16th SKAM Lithic Workshop
Nemergut, Adrian
[J]. SLOVENSKA ARCHEOLOGIA, 2019, 67 (02): : 399 - 402
[49] REPORT ON 16TH INTERNATIONAL NUMERICAL TAXONOMY CONFERENCE
JENSEN, RJ
[J]. SYSTEMATIC ZOOLOGY, 1983, 32 (01): : 83 - 89
[50] 16TH INTERNATIONAL-CONFERENCE ON COORDINATION CHEMISTRY
YATSIMIRSKII, KB
[J]. ZHURNAL NEORGANICHESKOI KHIMII, 1975, 20 (06): : 1459 - 1465

← 1 2 3 4 5 →