1 |
Verification condition generation for permission logics with abstract predicates and abstraction functions
|
|
|
|
In: Technical Report / ETH Zurich, Department of Computer Science, 776 (2012)
|
|
BASE
|
|
Show details
|
|
2 |
Verification condition generation for permission logics with abstract predicates and abstraction functions ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|