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

Research output: Contribution to journalArticle

6 Citations (Scopus)
Original languageEnglish
Pages (from-to)99
JournalCommunications of the ACM
Volume54
Issue number4
DOIs
Publication statusPublished - Apr 2011

Cite this

Le Métayer, D., Maarek, M., Mazza, E., Potet, M., Frénot, S., Tong, V. V. T., Craipeau, N., & Hardouin, R. (2011). Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. Communications of the ACM, 54(4), 99. https://doi.org/10.1145/1924421.1924444