| Document Date: 2005-07-29 10:40:50 Open Document File Size: 101,99 KBShare Result on Facebook
Company Microsoft Research Ltd. / / Country United States / / Currency USD / / Facility University of Texas / / IndustryTerm individual tools / software use / railway networks / formal programming tools / ultimate solution / pivotal tools / correct software / proof tools / type systems / web service / avoidable software / prototype tools / e-science / software engineers / verified software / development / proof search / security protocols / proof tool / logical tools / delivered software / programming tools / / Organization University of Texas at Austin / US Department of Commerce / / Person Tony Hoare / Jay Misra / / Position realistic representative / representative / normal engineer / / Product Apache / / ProgrammingLanguage Java / / ProvinceOrState Texas / / Technology functional programming / security protocols / analysis algorithms / operating system / Java / /
SocialTag |