Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus Klinge, Eric Henderson, Divita Mathur, Dalia Abo Sheasha. Engineering and verifying requirements for programmable self-assembling nanomachines. In Martin Glinz, Gail C. Murphy, Mauro Pezzè, editors, 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. pages 1361-1364, IEEE, 2012. [doi]
Abstract is missing.