On Verifying Resource Contracts using Code Contracts.

Rodrigo Castaño Juan Pablo Galeotti Diego Garbervetsky Jonathan Tapicer Edgardo Zoppi

Published in: LAFM (2013)

Keyphrases

supply chain
resource allocation
moral hazard
website
multiscale
social welfare
adverse selection
real time
information retrieval
web applications
resource management
resource constraints