An Application ofWeb-Service Interfaces.

Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia

Browse the full ICWS paper archive.