%C Z?rich, Switzerland
%I IMT Institute for Advanced Studies Lucca
%N  
%T Constraints for Service Contracts
%A Maria Grazia Buscemi
%A Mario Coppo
%A Mariangiola Dezani-Ciancaglini
%A Ugo Montanari
%D 2011
%L eprints137