Disambiguation evidence for “Separation Logic: A Logic for Shared Mutable Data Structures” via surface form

"“Separation Logic: A Logic for Shared Mutable Data Structures”"

Triples (1)

Triples where some other subject referred to this entity as "“Separation Logic: A Logic for Shared Mutable Data Structures”".

John C. Reynolds → notableWork →
"“Separation Logic: A Logic for Shared Mutable Data Structures”"
↳ resolves to “Separation Logic: A Logic for Shared Mutable Data Structures”
ⓘ