Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008 Toronto, Canada, October 6-9, 2008 Proceedings. Preface

Natarajan Shankar; Jim Woodcock

Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008 Toronto, Canada, October 6-9, 2008 Proceedings. Preface

Natarajan Shankar^*, Jim Woodcock

^*Corresponding author for this work

Computer Science

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

Original language	English
Pages (from-to)	V-VII
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5295 LNCS
Publication status	Published - 2008
Event	2nd International Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2008 - Toronto, ON, Canada Duration: 6 Oct 2008 → 9 Oct 2008

Cite this

@article{9769472ae7f643a6b44a1b1c10b4e0b7,

title = "Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008 Toronto, Canada, October 6-9, 2008 Proceedings. Preface",

author = "Natarajan Shankar and Jim Woodcock",

year = "2008",

language = "English",

volume = "5295 LNCS",

pages = "V--VII",

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

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "2nd International Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2008 ; Conference date: 06-10-2008 Through 09-10-2008",

}

Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008 Toronto, Canada, October 6-9, 2008 Proceedings. Preface. / Shankar, Natarajan; Woodcock, Jim.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5295 LNCS, 2008, p. V-VII.

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

TY - JOUR

T1 - Verified Software

T2 - 2nd International Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2008

AU - Shankar, Natarajan

AU - Woodcock, Jim

PY - 2008

Y1 - 2008

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

M3 - Editorial

AN - SCOPUS:70350604566

SN - 0302-9743

VL - 5295 LNCS

SP - V-VII

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)

Y2 - 6 October 2008 through 9 October 2008

ER -

Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008 Toronto, Canada, October 6-9, 2008 Proceedings. Preface

Other files and links

Cite this