Foundations for Entailment Checking in Quantitative Separation Logic.

Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keler, Christoph Matheja, Thomas Noll

Browse the full ESOP paper archive.