Genetic Programming conference papers by Marta Kwiatkowska
Marta Kwiatkowska.
Challenges in automated verification and synthesis for molecular programming. In
Martin Abadi and Philippa Gardner and Andrew D. Gordon and Radu Mardare editors,
Essays for the Luca Cardelli Fest, volume MSR-TR-2014-104, pages 155-170, Cambridge, UK, 2014. Microsoft Research.
details
