Peter T. Breuer, Simon Pickin, "Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects," Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 246-255, 31st IEEE Software Engineering Workshop (SEW 2007), 2007.

@article{ 10.1109/SEW.2007.113,
author = {Peter T. Breuer and Simon Pickin},
title = {Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects},
journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard},
volume = {0},
year = {2007},
issn = {1550-6215},
pages = {246-255},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2007.113},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Software Engineering Workshop, Annual IEEE/NASA Goddard
TI - Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects
SN - 1550-6215
SP246
EP255
A1 - Peter T. Breuer,
A1 - Simon Pickin,
PY - 2007
VL - 0
JA - Software Engineering Workshop, Annual IEEE/NASA Goddard
ER -