Stéphane Demri

Person information

  • affiliation: Laboratoire Specification et Verification (LSV), CNRS, ENS Paris-Saclay, France
  • affiliation: ENS Cachan, Paris, France

Refine list

showing all ?? records

2010 – today

2000 – 2009

1990 – 1999

Coauthor Index

maintained by Schloss Dagstuhl LZI at University of Trier