DMCA

ENS de Cachan Title: Translation methods for deciding separation logics

by Advisor Stéphane Demri (lsv , Ens Cachan