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

by John Reynolds
Citations:711 - 6 self