Separation Logic: A Logic for Shared Mutable Data Structures (2002)

by John Reynolds
Citations:705 - 5 self