Date of this Version
Jian Chang, Krishna Venkatasubramanian, Andrew G. West, Sampath Kannan, Oleg Sokolsky, Myuhng Joo Kim, and Insup Lee, "ToMaTo: A Trustworthy Code Mashup Development Tool", 5th International Workshop on Web APIs and Service Mashups (Mashups '11) . January 2011. http://dx.doi.org/10.1145/2076006.2076012
CPS Formal Methods
5th International Workshop on Web APIs and Service Mashups (Mashups '11)
Article No. 5
© ACM 2011. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 5th International Workshop on Web APIs and Service Mashups (Mashups '11), http://dx.doi.org/10.1145/2076006.2076012.
Date Posted: 07 September 2011
This document has been peer reviewed.