"Modular Verification of Procedure Equivalence in the Presence of Memory ..."

Tim Wood et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics