Selected publications at LSV

@inproceedings{M-fsttcs18,
   address = {Ahmedabad, India},
   author = {Alessio Mansutti},
   booktitle = {{P}roceedings of the 38th {C}onference on {F}oundations of {S}oftware {T}echnology and {T}heoretical {C}omputer {S}cience ({FSTTCS}'18)},
   editor = {Sumit Ganguly and Paritosh Pandya},
   month = dec,
   publisher = {Leibniz-Zentrum f{\"u}r Informatik},
   series = {Leibniz International Proceedings in Informatics},
   title = {Extending propositional separation logic for robustness properties},
   year = {2018},
}

About LSV

Select by Year