"Convolution as a Unifying Concept: Applications in Separation Logic, ..."

Brijesh Dongol, Ian J. Hayes, Georg Struth (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics