Journal Articles ACM Transactions on Programming Languages and Systems (TOPLAS) Year : 2009

A theory of contracts for Web services

Giuseppe Castagna
Nils Gesbert
  • Function : Author
  • PersonId : 899056

Dates and versions

hal-00434459 , version 1 (23-11-2009)

Identifiers

Cite

Giuseppe Castagna, Nils Gesbert, Luca Padovani. A theory of contracts for Web services. ACM Transactions on Programming Languages and Systems (TOPLAS), 2009, 31 (5), pp.1-61. ⟨10.1145/1538917.1538920⟩. ⟨hal-00434459⟩
51 View
0 Download

Altmetric

Share

More