Challenges in automated verification and synthesis for molecular programming

Date:
Speakers:
Marta Kwiatowska
Affiliation:
University of Oxford

    • Portrait of Jeff Running

      Jeff Running