CPS Formal Methods
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", . January 2011.
Date Posted: 07 September 2011
This document has been peer reviewed.