Preface

Deepak D’Souza; Akash Lal; Kim Guldstrand Larsen

Preface

Deepak D’Souza^*, Akash Lal, Kim Guldstrand Larsen

^*Corresponding author for this work

Research output: Contribution to journal › Editorial › peer-review

Original language	English
Book series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8931
ISSN	0302-9743
Publication status	Published - 2015
Event	16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015 - Mumbai, India Duration: 12 Jan 2015 → 14 Jan 2015

Conference

Conference	16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015
Country/Territory	India
City	Mumbai
Period	12/01/2015 → 14/01/2015
Sponsor	Microsoft Research, National Science Foundation

Bibliographical note

Copyright:
Copyright 2014 Elsevier B.V., All rights reserved.

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@article{34a744227708445ab8bfd448f969b953,

title = "Preface",

author = "Deepak D{\textquoteright}Souza and Akash Lal and Larsen, {Kim Guldstrand}",

note = "Copyright: Copyright 2014 Elsevier B.V., All rights reserved.; 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015 ; Conference date: 12-01-2015 Through 14-01-2015",

year = "2015",

language = "English",

volume = "8931",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer",

}

TY - JOUR

T1 - Preface

AU - D’Souza, Deepak

AU - Lal, Akash

AU - Larsen, Kim Guldstrand

PY - 2015

Y1 - 2015

UR - http://www.scopus.com/inward/record.url?scp=84917709339&partnerID=8YFLogxK

M3 - Editorial

AN - SCOPUS:84917709339

SN - 0302-9743

VL - 8931

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015

Y2 - 12 January 2015 through 14 January 2015

ER -

Preface

Conference

Bibliographical note

AUB Link

Other files and links

Cite this