Thumbnail
Access Restriction
Open

Author Stoller, Scott D. ♦ Bartocci, Ezio ♦ Seyster, Justin ♦ Grosu, Radu ♦ Havelund, Klaus ♦ Smolka, Scott A. ♦ Zadok, Erez
Source CiteSeerX
Content type Text
File Format PDF
Language English
Age Range above 22 year
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2011-01-01