Graphical models of separation logic
scientific article; zbMATH DE number 5773842
scientific article