"Program Committee," Software Engineering and Formal Methods, IEEE International Conference on, pp. ix, First International Conference on Software Engineering and Formal Methods (SEFM'03), 2003.

@article{ 10.1109/SEFM.2003.10003,
author = {},
title = {Program Committee},
journal ={Software Engineering and Formal Methods, IEEE International Conference on},
volume = {0},
year = {2003},
isbn = {0-7695-1949-0},
pages = {ix},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2003.10003},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Software Engineering and Formal Methods, IEEE International Conference on
TI - Program Committee
SN - 0-7695-1949-0
SP
EP
PY - 2003
KW - null
VL - 0
JA - Software Engineering and Formal Methods, IEEE International Conference on
ER -