|
[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 (712 KB)
 bib
|
|
Notes:
The original publication is available at:
http://research.microsoft.com/apps/pubs/?id=226237
|