Descargar

CTR-S: A Logic for Specifying Contracts in Semantic Web