HomeNewsCase StudiesPeoplePublications
[Kwi14] M. Kwiatkowska. Challenges in automated verification and synthesis for molecular programming. In Martin Abadi, Philippa Gardner, Andrew D. Gordon and Radu Mardare (editors), Essays for the Luca Cardelli Fest, volume MSR-TR-2014-104 of Technical Report, pages 155-170, Microsoft Research. 2014. [pdf] [bib]
Downloads:  pdf pdf (712 KB)  bib bib
Notes: The original publication is available at: http://research.microsoft.com/apps/pubs/?id=226237