Relational Separation Logic
Hongseok Yang
Journal
Theoretical Computer Science
Month
May
Number
1−3
Pages
308–334
Publisher
Elsevier
Volume
375
Year
2007
Hongseok Yang