conf.researchr.org / James Brotherston
Not registered as user yet
Name: James Brotherston
Contributions
| ADSL 2020 | Committee Member in Program Committee within the ADSL 2020-track |
| CPP 2017 | Author of Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic within the CPP-track |