Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia. An Application ofWeb-Service Interfaces. In 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA. pages 831-838, IEEE Computer Society, 2007. [doi]
@inproceedings{BeyerCHS07,
title = {An Application ofWeb-Service Interfaces},
author = {Dirk Beyer and Arindam Chakrabarti and Thomas A. Henzinger and Sanjit A. Seshia},
year = {2007},
doi = {10.1109/ICWS.2007.32},
url = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.32},
researchr = {https://researchr.org/publication/BeyerCHS07},
cites = {0},
citedby = {0},
pages = {831-838},
booktitle = {2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA},
publisher = {IEEE Computer Society},
}