"TaDA Live: Compositional Reasoning for Termination of Fine-grained ..."

Emanuele D'Osualdo et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics