Preface

Marieke Huisman; Fausto Spoto

doi:10.1016/j.entcs.2007.07.001

Preface

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

13 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007)
Subtitle of host publication	31 March 2007 • Braga, Portugal
Editors	M. Huisman, F. Spoto
Publisher	Elsevier
Pages	1-1
DOIs	https://doi.org/10.1016/j.entcs.2007.07.001
Publication status	Published - 2007
Externally published	Yes
Event	2nd Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode 2007 - Braga, Portugal Duration: 31 Mar 2007 → 31 Mar 2007 Conference number: 2

Publication series

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

Workshop

Workshop	2nd Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode 2007
Abbreviated title	Bytecode
Country/Territory	Portugal
City	Braga
Period	31/03/07 → 31/03/07

Access to Document

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

Huisman2007prefaceFinal published version, 121 KBLicence: CC BY-NC-ND

Cite this

@inproceedings{4630066c76d14ae599010d474e3638aa,

title = "Preface",

author = "Marieke Huisman and Fausto Spoto",

year = "2007",

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

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "1",

pages = "1--1",

editor = "M. Huisman and F. Spoto",

booktitle = "Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007)",

note = "2nd Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode 2007, Bytecode ; Conference date: 31-03-2007 Through 31-03-2007",

}

Huisman, M & Spoto, F 2007, Preface. in M Huisman & F Spoto (eds), Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007): 31 March 2007 • Braga, Portugal. Electronic Notes in Theoretical Computer Science, no. 1, vol. 190, Elsevier, pp. 1-1, 2nd Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode 2007, Braga, Portugal, 31/03/07. https://doi.org/10.1016/j.entcs.2007.07.001

Preface. / Huisman, Marieke; Spoto, Fausto.
Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007): 31 March 2007 • Braga, Portugal. ed. / M. Huisman; F. Spoto. Elsevier, 2007. p. 1-1 (Electronic Notes in Theoretical Computer Science; Vol. 190, No. 1).

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

TY - GEN

T1 - Preface

AU - Huisman, Marieke

AU - Spoto, Fausto

N1 - Conference code: 2

PY - 2007

Y1 - 2007

U2 - 10.1016/j.entcs.2007.07.001

DO - 10.1016/j.entcs.2007.07.001

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 1

EP - 1

BT - Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007)

A2 - Huisman, M.

A2 - Spoto, F.

PB - Elsevier

T2 - 2nd Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode 2007

Y2 - 31 March 2007 through 31 March 2007

ER -