DMCA

Charge! A framework for higher-order separation logic in Coq

by Jesper Bengtson , Jonas Braband Jensen , Lars Birkedal
Citations:7 - 3 self