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

8 Citations (Scopus)
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