A Case Study in Formal Verification Using Multiple Explicit Heaps
Keyword(s):
2016 ◽
Vol 324
◽
pp. 31-50
◽
2016 ◽
Vol 65
(3)
◽
pp. 1163-1179
◽
Keyword(s):
2018 ◽
Vol 272
◽
pp. 52-64
◽
Keyword(s):