conf.researchr.org / James Brotherston
Not registered as user yet
Name: James Brotherston
Contributions
| POPL 2016 | Author of Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates within the Research Papers-track |
Not registered as user yet
Name: James Brotherston
Contributions
| POPL 2016 | Author of Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates within the Research Papers-track |