Challenges in automated verification and synthesis for molecular programming (2014)

by M Kwiatkowska
Venue:Essays for the Luca Cardelli Fest, volume MSR-TR-2014-104 of Technical Report