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 »
Posts Tagged: Communications of the ACM
Poll of the Week
Could your inbox use a little more awesome?
Sign up to get a daily dose of awesome gov-focused resources, trainings, blogs and articles to help you do you job better.