todo
Papers related to Bi-abduction
- Compositional shape analysis by means of bi-abduction [calcagno:popl:2009]
Bi-abduction
[Google Scholar]
Notes:
separation logic
Related Work
Interesting papers