Sign in

A theory of contracts for Web services.

Giuseppe CastagnaNils GesbertLuca Padovani
Published in: ACM Trans. Program. Lang. Syst. (2009)
Keyphrases