@InProceedings{Kwi14,
author={M. Kwiatkowska},
title={Challenges in automated verification and synthesis for molecular programming},
booktitle={Essays for the {L}uca {C}ardelli {F}est},
year={2014},

editor={Martin Abadi and Philippa Gardner and Andrew D. Gordon and Radu Mardare},
pages={155--170},
organization={},
publisher={Microsoft Research},
series={Technical Report},
volume={MSR-TR-2014-104},
address={},
month={},
note={},
key={}
}