Ronan Hardouin

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Viet Triem Tong, Nicolas Craipeau, Ronan Hardouin
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. Commun. ACM 54 (4) (2011)
Daniel Le Métayer, Manuel Maarek, Valérie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stéphane Frénot, Ronan Hardouin
Liability in software engineering: overview of the LISE approach and illustration on a case study. ICSE (1) (2010)