Verification Guided Design of Genetic Circuits
b'Chris Myers speaking at the BIRS workshop 23w2007: Emerging Mathematical Challenges in Synthetic Biological Network Design (Aug 25 - Aug 27). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.'