"Enabling Modular Verification with Abstract Interference Specifications ..."

Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics