Access Restriction

Author Schulte, Wolfram ♦ Venter, Herman ♦ Leino, K. Rustan M. ♦ Müller, Peter ♦ Barnett, Mike ♦ Fähndrich, Manuel
Source ACM Digital Library
Content type Text
File Format PDF
Language English
Age Range 18 to 22 years ♦ above 22 year
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01

Source: ACM Digital Library