Liability in software engineering: overview of the LISE approach and illustration on a case study

Daniel Le Métayer, Manuel Maarek, Valérie Viet Triem Tong, Eduardo Mazza, Marie-laure Potet, Nicolas Craipeau, Stéphane Frénot, Ronan Hardouin

Research output: Contribution to conferenceOther

Original languageEnglish
Pages135
DOIs
Publication statusPublished - 2010
Event32nd ACM/IEEE International Conference 2010 - Cape Town, South Africa
Duration: 1 May 20108 May 2010

Conference

Conference32nd ACM/IEEE International Conference 2010
CountrySouth Africa
CityCape Town
Period1/05/108/05/10

Cite this

Le Métayer, D., Maarek, M., Tong, V. V. T., Mazza, E., Potet, M., Craipeau, N., Frénot, S., & Hardouin, R. (2010). Liability in software engineering: overview of the LISE approach and illustration on a case study. 135. 32nd ACM/IEEE International Conference 2010, Cape Town, South Africa. https://doi.org/10.1145/1806799.1806823