Relational separation logic (2004)

by Hongseok Yang
Venue:Theoretical Computer Science