| Document Date: 2013-03-13 12:33:24 Open Document File Size: 218,04 KBShare Result on Facebook
City Madrid / / Company Oracle / Jc2 Kg / Jc1 Kg / Microsoft / IMDEA Software / / Country France / Spain / / Currency pence / / / IndustryTerm language tools / symmetric-key systems / specific tools / / Organization French ANR / Microsoft Research-INRIA Joint Centre / U.S. Securities and Exchange Commission / / Person Benjamin Gr / Sophia Antipolis / Santiago Zanella / / Position Coq proof assistant / / ProgrammingLanguage L / / Technology encryption / dom / /
SocialTag |