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 |