Heap-dependent expressions in separation logic
Jan Smans, Bart Jacobs, Frank Piessens[ISBN] [Google Scholar] [DBLP] [Citeseer]
Formal Techniques for Distributed Systems
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 170-185
2010
Topic(s): tools verification
Note(s): permission logic
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 170-185
2010
Topic(s): tools verification
Note(s): permission logic