Gregor Gößler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei. Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. Technique et Science Informatiques, 33(1-2):63-84, 2014. [doi]
Abstract is missing.