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. Communications of the ACM, 54(4):99-106, 2011. [doi]
Abstract is missing.