A theory of contracts for web services (2008)

by Nils Gesbert , Luca Padovani
Venue:In POPL ’08, 35th ACM Symposium on Principles of Programming Languages
Citations:94 - 11 self