• Sign in
  • Sign up
conf.researchr.org / James Brotherston
  • POPL 2017 profile
  • POPL 2020 profile

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

Share
xFri 27 May 13:28
using conf.researchr.org (v1.55.6)
Support page
Sign Up