DMCA

Natural Proofs for Data Structure Manipulation in C using Separation Logic

Cached

Download Links

by Edgar Pek , Xiaokang Qiu , P. Madhusudan
Citations:7 - 2 self