@phdthesis{Ser8,
title = {Automated reasoning in separation logic with inductive definitions },
author = {Serban, Cristina},
year = {2018},
school = {Univ. Grenoble Alpes},
team = {RSD},
}
