Special issue on Automated Verification of Critical Systems (AVoCS'11) Preface

被引：0

作者：

Jones, Cliff ^{[1
]}

Romanovsky, Alexander ^{[1
]}

机构：

[1] Newcastle Univ, Newcastle Upon Tyne, Tyne & Wear, England

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2014年 / 82卷

基金：

英国工程与自然科学研究理事会;

关键词：

D O I：

10.1016/j.scico.2013.06.001

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1 / 1

页数：1

共 50 条

[1] Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)
Huisman, Marieke
de Pol, Jaco van
SCIENCE OF COMPUTER PROGRAMMING, 2016, 128 : 1 - 1
[2] Special issue on Automated Verification of Critical Systems (AVoCS 2013)
Schneider, Steve
Treharne, Helen
SCIENCE OF COMPUTER PROGRAMMING, 2015, 111 : 213 - 213
[3] Special issue on Automated Verification of Critical Systems (AVoCS'12)
Luettgen, Gerald
Merz, Stephan
SCIENCE OF COMPUTER PROGRAMMING, 2014, 96 : 277 - 278
[4] Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010) Preface
Bendisposto, Jens
Leuschel, Michael
Roggenbach, Markus
SCIENCE OF COMPUTER PROGRAMMING, 2014, 81 : 1 - 2
[5] Special Issue on AVoCS'09 Preface
Roggenbach, Markus
SCIENCE OF COMPUTER PROGRAMMING, 2012, 77 (10-11) : 1037 - 1038
[6] Preface of the special issue for AVoCS 2015
Grov, Gudmund
Ireland, Andrew
SCIENCE OF COMPUTER PROGRAMMING, 2017, 148 : 1 - 2
[7] Preface to the Special Issue on Automated Reasoning Systems
Armin Biere
Cesare Tinelli
Christoph Weidenbach
Journal of Automated Reasoning, 2020, 64 : 361 - 362
[8] Preface to the Special Issue on Automated Reasoning Systems
Biere, Armin
Tinelli, Cesare
Weidenbach, Christoph
JOURNAL OF AUTOMATED REASONING, 2020, 64 (03) : 361 - 362
[9] Special issue on Computer Aided Verification (CAV '11) Preface
Gopalakrishnan, Ganesh L.
Qadeer, Shaz
FORMAL METHODS IN SYSTEM DESIGN, 2012, 41 (01) : 3 - 3
[10] Special issue on Automated Specification and Verification of Web Systems
Kovacs, Laura
Pugliese, Rosario
Silva, Josep
Tiezzi, Francesco
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2013, 82 (08): : 241 - 242

← 1 2 3 4 5 →