John Zic

Latest

• Expressing and Reasoning about Service Contracts in Service-Oriented Computing