@article{LMM+11,
title = {Liability issues in software engineering: the use of formal methods to reduce legal uncertainties },
author = {Le M\'etayer, Daniel and Maarek, Manuel and Mazza, Eduardo and Potet, Marie-Laure and Fr\'enot, St\'ephane and Viet Triem Tong, Val\'erie and Craipeau, Nicolas and Hardouin, Ronan},
year = {2011},
journal = {Commun. ACM},
number = {4},
pages = {99-106},
volume = {54},
team = {DCS,PACSS},
ee = {http://doi.acm.org/10.1145/1924421.1924444},
bibsource = {DBLP, http://dblp.uni-trier.de},
}