Selected publications at LSV

   address = {Thessaloniki, Greece},
   author = {St{\'e}phane Demri and {\'E}tienne Lozes and Alessio Mansutti},
   booktitle = {{P}roceedings of the 21st {I}nternational {C}onference on {F}oundations of {S}oftware {S}cience and {C}omputation {S}tructures ({FoSSaCS}'18)},
   editor = {Baier, Christel and {Dal Lago}, Ugo},
   month = apr,
   note = {to appear},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {The Effects of Adding Reachability Predicates in Propositional Separation Logic},
   year = {2018},

About LSV

Select by Year