@phdthesis{Sam12,
title = {{A Formal Framework for Specifying and Analyzing Liabilities Using Log as Digital Evidence} },
author = {Sampaio Elesbao Mazza, Eduardo},
year = {2012},
school = {Université de Grenoble, Laboratoire Verimag,hal.inria.fr/hal-00789668/},
team = {DCS},
}
