Preface: [proceedings of the First international Workshop on Software Verification and Validation (SVV 2003)]

Sandro Etalle; Supratik Mukhopadhyay; Abhik Roychoudhury

doi:10.1016/j.entcs.2004.10.004

Preface: [proceedings of the First international Workshop on Software Verification and Validation (SVV 2003)]

Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

42 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the International Workshop on Software Verification and Validation (SVV 2003)
Editors	S. Etalle, S. Mukhopadhyay, A. Roychoudhury
Place of Publication	Amsterdam
Publisher	Elsevier
Number of pages	1
DOIs	https://doi.org/10.1016/j.entcs.2004.10.004
Publication status	Published - 2003
Event	International Workshop on Software Verification and Validation, SVV 2003 - Mumbai, India Duration: 14 Dec 2003 → 14 Dec 2003

Publication series

Name	Electronic Notes in Theoretical Computer Science
Publisher	Elsevier
Volume	118
ISSN (Print)	1571-0661

Conference

Conference	International Workshop on Software Verification and Validation, SVV 2003
Abbreviated title	SVV
Country/Territory	India
City	Mumbai
Period	14/12/03 → 14/12/03

Access to Document

10.1016/j.entcs.2004.10.004Licence: CC BY-NC-ND

Etalle2005prefaceFinal published version, 52.5 KBLicence: CC BY-NC-ND

Cite this

Etalle, S., Mukhopadhyay, S., & Roychoudhury, A. (2003). Preface: [proceedings of the First international Workshop on Software Verification and Validation (SVV 2003)]. In S. Etalle, S. Mukhopadhyay, & A. Roychoudhury (Eds.), Proceedings of the International Workshop on Software Verification and Validation (SVV 2003) (Electronic Notes in Theoretical Computer Science; Vol. 118). Elsevier. https://doi.org/10.1016/j.entcs.2004.10.004

Etalle, Sandro ; Mukhopadhyay, Supratik ; Roychoudhury, Abhik. / Preface : [proceedings of the First international Workshop on Software Verification and Validation (SVV 2003)]. Proceedings of the International Workshop on Software Verification and Validation (SVV 2003). editor / S. Etalle ; S. Mukhopadhyay ; A. Roychoudhury. Amsterdam : Elsevier, 2003. (Electronic Notes in Theoretical Computer Science).

@inbook{8150033840d04f06aace50a90ae0f6bf,

title = "Preface: [proceedings of the First international Workshop on Software Verification and Validation (SVV 2003)]",

author = "Sandro Etalle and Supratik Mukhopadhyay and Abhik Roychoudhury",

note = "Imported from DIES; International Workshop on Software Verification and Validation, SVV 2003, SVV ; Conference date: 14-12-2003 Through 14-12-2003",

year = "2003",

doi = "10.1016/j.entcs.2004.10.004",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

editor = "S. Etalle and S. Mukhopadhyay and A. Roychoudhury",

booktitle = "Proceedings of the International Workshop on Software Verification and Validation (SVV 2003)",

}

Etalle, S, Mukhopadhyay, S & Roychoudhury, A 2003, Preface: [proceedings of the First international Workshop on Software Verification and Validation (SVV 2003)]. in S Etalle, S Mukhopadhyay & A Roychoudhury (eds), Proceedings of the International Workshop on Software Verification and Validation (SVV 2003). Electronic Notes in Theoretical Computer Science, vol. 118, Elsevier, Amsterdam, International Workshop on Software Verification and Validation, SVV 2003, Mumbai, India, 14/12/03. https://doi.org/10.1016/j.entcs.2004.10.004

Preface: [proceedings of the First international Workshop on Software Verification and Validation (SVV 2003)]. / Etalle, Sandro; Mukhopadhyay, Supratik; Roychoudhury, Abhik.
Proceedings of the International Workshop on Software Verification and Validation (SVV 2003). ed. / S. Etalle; S. Mukhopadhyay; A. Roychoudhury. Amsterdam: Elsevier, 2003. (Electronic Notes in Theoretical Computer Science; Vol. 118).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

TY - CHAP

T1 - Preface

T2 - International Workshop on Software Verification and Validation, SVV 2003

AU - Etalle, Sandro

AU - Mukhopadhyay, Supratik

AU - Roychoudhury, Abhik

N1 - Imported from DIES

PY - 2003

Y1 - 2003

U2 - 10.1016/j.entcs.2004.10.004

DO - 10.1016/j.entcs.2004.10.004

M3 - Chapter

T3 - Electronic Notes in Theoretical Computer Science

BT - Proceedings of the International Workshop on Software Verification and Validation (SVV 2003)

A2 - Etalle, S.

A2 - Mukhopadhyay, S.

A2 - Roychoudhury, A.

PB - Elsevier

CY - Amsterdam

Y2 - 14 December 2003 through 14 December 2003

ER -

Etalle S, Mukhopadhyay S, Roychoudhury A. Preface: [proceedings of the First international Workshop on Software Verification and Validation (SVV 2003)]. In Etalle S, Mukhopadhyay S, Roychoudhury A, editors, Proceedings of the International Workshop on Software Verification and Validation (SVV 2003). Amsterdam: Elsevier. 2003. (Electronic Notes in Theoretical Computer Science). doi: 10.1016/j.entcs.2004.10.004