Special Issue on International Workshop on Invariant Generation Foreword

被引：0

作者：

Bjorner, Nikolaj ^{[1
]}

Kovacs, Laura ^{[1
]}

机构：

[1] Vienna Univ Technol, Fac Informat, Vienna, Austria

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 2012年 / 47卷 / 12期

关键词：

D O I：

10.1016/j.jsc.2011.12.047

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：1413 / 1415

页数：3

共 50 条

[41] Special Issue: International Workshop on Runtime Verification 2007
Sokolsky, Oleg
Tasiran, Serdar
JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (03) : 649 - 650
[42] Special issue: Fifth International Workshop on Oxide Electronics
Kawasaki, M
Eom, CB
Hosono, H
Ramesh, R
Triscone, JM
Venkatesan, T
Xiang, XD
JOURNAL OF ELECTROCERAMICS, 2000, 4 (2-3) : 263 - 263
[43] International workshop on smalltalk technologies 2011 special issue
Plantec, A.
Lagadec, L.
SOFTWARE-PRACTICE & EXPERIENCE, 2014, 44 (04): : 391 - 392
[44] Preface to the Special Issue for the XXV International Complement Workshop
Tambourgi, Denise V.
Fishelson, Zvi
MOLECULAR IMMUNOLOGY, 2014, 61 (02) : 55 - 55
[45] Special Issue: International Workshop in Applied Probability 2008
Glaz, Joseph
METHODOLOGY AND COMPUTING IN APPLIED PROBABILITY, 2010, 12 (04) : 553 - 553
[46] Special issue: International Workshop on Quantum Kinetic Theory
Gardner, CL
VLSI DESIGN, 1999, 9 (04) : I - I
[47] SPECIAL ISSUE: 9TH INTERNATIONAL SYMPOSIUM ON AGGLOMERATION AND 4TH INTERNATIONAL GRANULATION WORKSHOP, 2009 Foreword
Palzer, Stefan
Salman, Agba D.
Hounslow, Michael
POWDER TECHNOLOGY, 2011, 206 (1-2) : 1 - 1
[48] Special Issue: Future generation information technology FOREWORD
Chang, Ruay-Shiung
Wu, Chung-Hsien
JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2011, 34 (02) : 169 - 169
[49] Foreword to a Special Issue on the International Workshop on Climate and Oceanic FisheriesRarotonga, Cook Islands, 3–5 October 2011
Michel Jarraud
Climatic Change, 2013, 119 : 1 - 2
[50] Foreword for the special issue on the ninth international workshop on low energy electron microscopy and photoemission electron microscopy Preface
Schneider, Claus M.
Meyer-zu-Heringdorf, Frank
Kuch, Wolfgang
ULTRAMICROSCOPY, 2015, 159 : V - VI

← 1 2 3 4 5 →