Relational separation logic (0)

by H Yang
Venue:Theoretical Computer Science