Access Restriction

Author Hatcliff, John ♦ Leavens, Gary T. ♦ Leino, K Rustan M. ♦ Mller, Peter ♦ Parkinson, Matthew
Source ACM Digital Library
Content type Text
File Format PDF
Copyright Year ©2012
Language English
Age Range 18 to 22 years ♦ above 22 year
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2012-06-01

Source: ACM Digital Library