Posts Tagged: Communications of the ACM

Le Métayer et al. on Liability Issues in Software Engineering: Case Study of eSignatures

Daniel Le Métayer of INRIA Grenoble – Rhône-Alpes, and colleagues, have published Liability Issues in Software Engineering: The Use of Formal Methods to Reduce Legal Uncertainties, Communications of the ACM, 54(4), 99-106 (April 2010). Here is the abstract: This paper reports on the results of a multidisciplinary project involving lawyers and computer scientists with theRead… Read more »