Hampton Smith Heather K. Harton David Frazier Raghuveer Mohan Murali Sitaraman Generating Verified Java Components through RESOLVE. 11-20 2009 ICSR http://dx.doi.org/10.1007/978-3-642-04211-9_2 conf/icsr/2009 db/conf/icsr/icsr2009.html#SmithHFMS09