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

doi:10.1145/1924421.1924444

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 journal › Article › peer-review

Original language	English
Pages (from-to)	99
Journal	Communications of the ACM
Volume	54
Issue number	4
DOIs	https://doi.org/10.1145/1924421.1924444
Publication status	Published - Apr 2011

Access to Document

10.1145/1924421.1924444

Cite this

@article{b9598047edf54c43a72a473d74dfb456,

title = "Liability issues in software engineering: the use of formal methods to reduce legal uncertainties",

author = "\{Le M{\'e}tayer\}, Daniel and Manuel Maarek and Eduardo Mazza and Marie-laure Potet and St{\'e}phane Fr{\'e}not and Tong, \{Val{\'e}rie Viet Triem\} and Nicolas Craipeau and Ronan Hardouin",

year = "2011",

month = apr,

doi = "10.1145/1924421.1924444",

language = "English",

volume = "54",

pages = "99",

journal = "Communications of the ACM",

issn = "0001-0782",

publisher = "Association for Computing Machinery",

number = "4",

}

TY - JOUR

T1 - Liability issues in software engineering

T2 - the use of formal methods to reduce legal uncertainties

AU - Le Métayer, Daniel

AU - Maarek, Manuel

AU - Mazza, Eduardo

AU - Potet, Marie-laure

AU - Frénot, Stéphane

AU - Tong, Valérie Viet Triem

AU - Craipeau, Nicolas

AU - Hardouin, Ronan

PY - 2011/4

Y1 - 2011/4

U2 - 10.1145/1924421.1924444

DO - 10.1145/1924421.1924444

M3 - Article

SN - 0001-0782

VL - 54

SP - 99

JO - Communications of the ACM

JF - Communications of the ACM

IS - 4

ER -