![]() |
@article{DBLP:journals/toplas/CastagnaGP09,
author = {Giuseppe Castagna and
Nils Gesbert and
Luca Padovani},
title = {A theory of contracts for Web services},
journal = {ACM Trans. Program. Lang. Syst.},
volume = {31},
number = {5},
year = {2009},
ee = {http://doi.acm.org/10.1145/1538917.1538920},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2009-07-02 by Michael Ley (ley@uni-trier.de)