Talk by
Sarah Rovner-Frydman (UCR)
on
on
Separation logic through a new lens
Abstract:
Separation logic through a new lens
This talk is hosted by UC Riverside. Link to the talk site.Abstract:
Separation logic through a new lens
This talk is hosted by UC Riverside. Link to the talk site.