Natural proofs for data structure manipulation in C using separation logic

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

Authors 0

1. Author list not loaded yet.