The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

A theory of contracts for Web services

The work

AuthorsGiuseppe Castagna; Nils Gesbert; Luca Padovani
Editors
Typemisc
Year2009
Also known asanon2009theory
Citekeycastagna2009theory

Where it appeared

PublisherAssociation for Computing Machinery (ACM)

How it got here

How it got hereagent via unpaywall
Added2026-10-26 19:46 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@misc{castagna2009theory,
  title        = {A theory of contracts for Web services},
  author       = {Giuseppe Castagna and Nils Gesbert and Luca Padovani},
  year         = {2009},
  publisher    = {Association for Computing Machinery (ACM)},
  doi          = {10.1145/1538917.1538920},
}

This record lives at https://refs.drheap.org/castagna2009theory/ and will keep doing so. It used to be called anon2009theory, and those addresses still resolve to this one.