@inproceedings{MPL10,
title = {A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence },
author = {Mazza, Eduardo and Potet, Marie-Laure and Le M\'etayer, Daniel},
year = {2010},
booktitle = {13th Brazilian Symposium of Formal Methods (SBMF)},
note = {to appear},
publisher = {LNCS},
team = {DCS,PACSS},
}
