| Document Date: 2005-07-28 04:46:05 Open Document File Size: 227,76 KBShare Result on Facebook
Company RTL / Icall / / / IndustryTerm assurance software / software industry / micro-processor / low-assurance software / memory management systems / / NaturalFeature Everest / / Person Benjamin Gr / / Position compiler designer / General / Coq proof assistant / / ProgrammingLanguage C / / Technology functional programming / operating system / cmp / Power-PC micro-processor / / URL http /
SocialTag |