DMCA

Separation Logic Verification of C Programs with an SMT Solver (2009)

by Matko Botinčan , Matthew Parkinson , Wolfram Schulte
Citations:16 - 2 self