Liability in software engineering: overview of the LISE approach and illustration on a case study. - Daniel Le Métayer; Manuel Maarek; Valérie Viet Triem Tong; Eduardo Mazza; Marie-Laure Potet; Nicolas Craipeau; Stéphane Frénot; Ronan Hardouin (ICSE (1), 2010)

Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. - Daniel Le Métayer; Manuel Maarek; Eduardo Mazza; Marie-Laure Potet; Stéphane Frénot; Valérie Viet Triem Tong; Nicolas Craipeau; Ronan Hardouin (Commun. ACM, 2011)