@inproceedings{LMP10,
title = {Designing Log Architecture For Legal Evidence },
author = {Le M\'etayer, Daniel and Mazza, Eduardo and Potet, Marie-Laure},
year = {2010},
booktitle = {Software Engineering And Formal Methods (SEFM)},
series = {(to appear)},
team = {DCS,PACSS},
}
