DMCA

A Primer on Separation Logic (and Automatic Program Verification and Analysis)

by Peter W. O’hearn
Citations:1 - 0 self