| Document Date: 2009-06-22 08:52:31 Open Document File Size: 217,06 KBShare Result on Facebook
Currency pence / / / Facility Scott Weinstein University of Pennsylvania / / IndustryTerm software model checking / recent tools / automatic verification tool / / Organization National Science Foundation / University of Pennsylvania / / Person Rajeev Alur / / Position director / programmer / a manager / / Product Latte W10 Portable Audio Device / / ProgrammingLanguage Java / / ProvinceOrState Quebec / South Dakota / / Technology Java / mobile devices / Pspace algorithm / /
SocialTag |