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 条

[21] Introduction to the special issue of the 19th International Conference on Runtime Verification
Bernd Finkbeiner
Leonardo Mariani
[J]. International Journal on Software Tools for Technology Transfer, 2021, 23 : 545 - 546
[22] Introduction to the special issue of the 19th International Conference on Runtime Verification
Finkbeiner, Bernd
Mariani, Leonardo
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2021, 23 (04) : 545 - 546
[23] EDITORIAL Special 16th ICAAR issue
Menendez, E.
[J]. MATERIALES DE CONSTRUCCION, 2022, 72 (346)
[24] Special Issue Dedicated to the 16th International Symposium on Parameterized and Exact Computation
Petr A. Golovach
Meirav Zehavi
[J]. Algorithmica, 2022, 84 : 3107 - 3109
[25] Guest editorial: Introduction to the special issue 16th International Workshop on OIPE
Ziolkowski, Marcin
[J]. COMPEL-THE INTERNATIONAL JOURNAL FOR COMPUTATION AND MATHEMATICS IN ELECTRICAL AND ELECTRONIC ENGINEERING, 2022, 41 (06) : 1993 - 1993
[26] 16th International Conference on Phosphorus Chemistry
Metivier, P
[J]. JOURNAL OF ORGANOMETALLIC CHEMISTRY, 2005, 690 (10) : 2381 - 2381
[27] Webova 16th International Conference polysaccharides
Sarka, Evzen
[J]. LISTY CUKROVARNICKE A REPARSKE, 2021, 137 (01): : 28 - 28
[28] Verification of Erlang programs using abstract interpretation and model checking
Huch, F
[J]. ACM SIGPLAN NOTICES, 1999, 34 (09) : 261 - 272
[29] Special Issue on the 16th Wireless On-demand Network systems and Services Conference
Frank, Raphael
Segata, Michele
Lee, Uichin
[J]. COMPUTER COMMUNICATIONS, 2022, 190 : 36 - 36
[30] Special issue "16th International Symposium on Equatorial Aeronomy (ISEA-16), 2022"
Yokoyama, Tatsuhiro
Klenzing, Jeffrey
Milla, Marco A.
Stolle, Claudia
Pallamraju, Duggirala
[J]. EARTH PLANETS AND SPACE, 2024, 76 (01):

← 1 2 3 4 5 →