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 条

[31] SPECIAL ISSUE ON THE 1988 INTERNATIONAL TEST CONFERENCE - FOREWORD
AGARWAL, VK
RAJSKI, J
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1990, 9 (06) : 566 - 566
[32] Special Issue: International Reviews: Quality of Care Foreword
Brown, Sarah
BJOG-AN INTERNATIONAL JOURNAL OF OBSTETRICS AND GYNAECOLOGY, 2014, 121 : 1 - 1
[33] Special Issue on International Commercial Dispute Resolution FOREWORD
Martin, W. S.
UNIVERSITY OF WESTERN AUSTRALIA LAW REVIEW, 2018, 44 (02): : 1 - 4
[34] Special Issue Fourth International Workshop on Natural Computing
Peper, Ferdinand
Isokawa, Teijiro
Umeo, Hiroshi
Matsui, Nobuyuki
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, 2011, 7 (1-2) : 1 - 1
[35] Special Issue: International Workshop in Applied Probability 2016
Koutras, Markos V.
Limnios, Nicolas
Lou, Wendy
Taimre, Thomas
METHODOLOGY AND COMPUTING IN APPLIED PROBABILITY, 2019, 21 (03) : 661 - 662
[36] Special Issue on International Mixed Signal Testing Workshop
Osseiran, A
Soma, M
MICROELECTRONICS JOURNAL, 2002, 33 (10) : 771 - 772
[37] Special Issue on International Workshop on Advanced Computational Intelligence
Liu, Honghai
Jin, Yaochu
Wang, Jun
INTERNATIONAL JOURNAL OF FUZZY SYSTEMS, 2011, 13 (04) : I - II
[38] Preface to the Special Issue for the XXVI International Complement Workshop
Fujita, Teizo
Wakamiya, Nobutaka
Tenner, Andrea J.
IMMUNOBIOLOGY, 2016, 221 (10) : 1035 - 1036
[39] Special Issue: International Workshop in Applied Probability 2014
Eryilmaz, S.
Koutras, Markos V.
METHODOLOGY AND COMPUTING IN APPLIED PROBABILITY, 2016, 18 (04) : 935 - 936
[40] Fourth international workshop on computational phantoms: special issue
Xu, X. George
Kuster, Niels
PHYSICS IN MEDICINE AND BIOLOGY, 2014, 59 (18): : 5207 - 5208

← 1 2 3 4 5 →