@InProceedings{LLL+12,
author={Robyn Lutz and Jack Lutz and James Lathrop and Titus Klinge and Eric Henderson and Divita Mathur and Dalia Abo Sheasha},
title={Engineering and Verifying Requirements for Programmable Self-Assembling Nanomachines},
booktitle={Proc. 34th ACM/IEEE International Conference on Software Engineering (ICSE'12)},
year={2012},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}