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 条

[1] Special Issue: The 16th International Conference on Clouds and Precipitation Preface
Flossmann, Andrea I.
[J]. ATMOSPHERIC RESEARCH, 2014, 142 : 1 - 1
[2] Preface to a special section on verification, model checking, and abstract interpretation
Neil D. Jones
Markus Müller-Olm
[J]. International Journal on Software Tools for Technology Transfer, 2011, 13 (6)
[3] Special issue based on 16th International Conference on Artificial Neural Networks - Introduction
Kollias, Stefanos
Stafylopatis, Andreas
Duch, Wlodzislaw
[J]. INTERNATIONAL JOURNAL OF NEURAL SYSTEMS, 2007, 17 (04) : V - V
[4] Special issue: Proceedings of 16th international conference on chiroptical spectroscopy, Rennes 2017
Crassous, Jeanne
Avarvari, Narcis
Berova, Nina
Caldwell, John
[J]. CHIRALITY, 2018, 30 (08) : 955 - 956
[5] Special Issue Dedicated to 16th International Conference and Workshops on Algorithms and Computation, WALCOM 2022
Rahman, Md. Saidur
Mutzel, Petra
Slamin
[J]. ALGORITHMICA, 2023, 85 (11) : 3325 - 3326
[6] Special issue for the 16th International Conference on Fluorine Chemistry, 1999 (ICFC '99) - Preface
不详
[J]. JOURNAL OF FLUORINE CHEMISTRY, 2000, 101 (02) : 149 - 149
[7] Special Issue Dedicated to 16th International Conference and Workshops on Algorithms and Computation, WALCOM 2022
Md. Saidur Rahman
Petra Mutzel
[J]. Algorithmica, 2023, 85 : 3325 - 3326
[8] Despite the Virus, the Special Issue for the 16th Pegasus Student Conference
Salvo Marcuccio
Marc Chouffot
Francesco Marulo
Gustavo Alonso
[J]. Aerotecnica Missili & Spazio, 2020, 99 (4): : 253 - 253
[9] Introduction to the Special Issue on the 16th IEEE International Conference on Intelligent Transportation Systems (ITSC' 13)
Hegyi, Andreas
de Schutter, Bart
[J]. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2015, 16 (01) : 417 - 418
[10] 16TH SPECIAL ISSUE FOR THE ISPIM
Tidd, Joe
Huizingh, Eelko
Conn, Steffen
[J]. INTERNATIONAL JOURNAL OF INNOVATION MANAGEMENT, 2016, 20 (08)

← 1 2 3 4 5 →