@article{GMM+4,
title = {Apport des m\'ethodes formelles pour l'exploitation des logs informatiques dans un contexte contractuel },
author = {Goessler, Gregor and M\'etayer, Daniel Le and Mazza, Eduardo and Potet, Marie-Laure and Astefanoaei, Lacramioara},
year = {2014},
journal = {TSI, Technique et Science Informatiques},
number = {1},
pages = {63-84},
volume = {33},
team = {DCS, PACSS, axe_Pacs},
}