conf.researchr.org / Stephane Demri
Registered user since Wed 14 Aug 2019
Affiliation:CNRS, LSV, ENS Paris-Saclay
Research interests:resource logics, separation logics, verification of infinite-state systems, temporal logics, analysis of systems with data.
|ADSL 2020||Committee Member in Program Committee within the ADSL 2020-track|