Journal Articles
ACM Transactions on Programming Languages and Systems (TOPLAS)
Year : 2009
Giuseppe Castagna : Connect in order to contact the contributor
https://hal.science/hal-00434459
Submitted on : Monday, November 23, 2009-12:58:09 PM
Last modification on : Wednesday, March 20, 2024-11:40:18 AM
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⟩
Collections
51
View
0
Download