Thumbnail
Access Restriction
Open

Author Alglave, Jade ♦ Kroening, Daniel ♦ Lugton, John ♦ Nimal, Vincent ♦ Tautschnig, Michael
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