Liability Issues in Software Engineering: The Use of Formal Methods to Reduce Legal Uncertainties
This paper reports on the results of a multidisciplinary project involving lawyers and computer scientists with the aim to put forward a set of methods and tools to (1)…