Disambiguation evidence for “Separation Logic: A Logic for Shared Mutable Data Structures” via surface form
"separation logic"
Triples (1)
Triples where some other subject referred to this entity
as "separation logic".