Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015 Mumbai, India, January 12-14, 2015 Proceedings

Deepak D’Souza; Akash Lal; Kim Guldstrand Larsen

doi:10.1007/978-3-662-46081-8

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015 Mumbai, India, January 12-14, 2015 Proceedings

Deepak D’Souza^* (Redaktør), Akash Lal (Redaktør), Kim Guldstrand Larsen (Redaktør)

^*Kontaktforfatter

Institut for Datalogi

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

1 Citationer (Scopus)

Originalsprog	Engelsk

Forlag	Springer
Vol/bind	8931
ISBN (Trykt)	978-3-662-46080-1
ISBN (Elektronisk)	978-3-662-46081-8
DOI	https://doi.org/10.1007/978-3-662-46081-8
Status	Udgivet - 2015
Begivenhed	16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015 - Mumbai, Indien Varighed: 12 jan. 2015 → 14 jan. 2015

Navn	Lecture Notes in Computer Science
Vol/bind	8931
ISSN	0302-9743

Konference

Konference	16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015
Land/Område	Indien
By	Mumbai
Periode	12/01/2015 → 14/01/2015
Sponsor	Microsoft Research, National Science Foundation

Adgang til dokumentet

10.1007/978-3-662-46081-8

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@book{1b3d01c06dc2427b84da9c439c56be72,

title = "Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015 Mumbai, India, January 12-14, 2015 Proceedings",

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

year = "2015",

doi = "10.1007/978-3-662-46081-8",

language = "English",

isbn = "978-3-662-46080-1",

volume = "8931",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

note = "16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015 ; Conference date: 12-01-2015 Through 14-01-2015",

}

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015 Mumbai, India, January 12-14, 2015 Proceedings. / D’Souza, Deepak (Redaktør); Lal, Akash (Redaktør); Larsen, Kim Guldstrand (Redaktør).
Springer, 2015. (Lecture Notes in Computer Science, Bind 8931).

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

TY - BOOK

T1 - Verification, Model Checking, and Abstract Interpretation

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

A2 - D’Souza, Deepak

A2 - Lal, Akash

A2 - Larsen, Kim Guldstrand

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-662-46081-8

DO - 10.1007/978-3-662-46081-8

M3 - Anthology

AN - SCOPUS:84917709338

SN - 978-3-662-46080-1

VL - 8931

T3 - Lecture Notes in Computer Science

BT - Verification, Model Checking, and Abstract Interpretation

PB - Springer

Y2 - 12 January 2015 through 14 January 2015

ER -