"Refactoring, Refinement, and Reasoning - A Logical Characterization for ..."

Stefan Mitsch, Jan-David Quesel, André Platzer (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics