April 2011 - Vol. 54 No. 4

April 2011 issue cover image

Features

Research and Advances Research highlights

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)…

Recent Issues

  1. June 2024 Vol. 67 No. 6
  2. May 2024 CACM cover
    May 2024 Vol. 67 No. 5
  3. April 2024 CACM cover with text
    April 2024 Vol. 67 No. 4
  4. March 2024 CACM cover
    March 2024 Vol. 67 No. 3