Research output per year
Research output per year
BS8 1UB
Programming languages, software verification, program synthesis.
Please check my personal webpage for more information.
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
David, C. (Principal Investigator)
27/06/23 → 26/06/26
Project: Research
David, C. (Principal Investigator)
27/06/23 → 26/06/26
Project: Research, Parent
David, C. (Principal Investigator)
27/06/23 → 26/06/26
Project: Research