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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
Peter T. Breuer, Simon Pickin, "Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects," sew, pp.246-255, 31st IEEE Software Engineering Workshop (SEW 2007), 2007
PURCHASE ARTICLE: $19
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb