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