Foundations for Entailment Checking in Quantitative Separation Logic. - Kevin Batz; Ira Fesefeldt; Marvin Jansen; Joost-Pieter Katoen; Florian Keßler; Christoph Matheja; Thomas Noll 001 (ESOP, 2022)

Foundations for Entailment Checking in Quantitative Separation Logic (extended version). - Kevin Batz; Ira Fesefeldt; Marvin Jansen; Joost-Pieter Katoen; Florian Keßler; Christoph Matheja; Thomas Noll 001 (CoRR, 2022)