| Document Date: 2014-10-14 06:07:22 Open Document File Size: 317,31 KBShare Result on Facebook
Company FoCaLiZe / / Currency USD / / Event Bankruptcy / / IndustryTerm software engineering / decent developer / formal tools / software implementation / software specification / software component / software development / energy / francois.pessaux@ensta-paristech•fr WEB Page / / Organization Ecole Jeunes Chercheurs / / Position author / particular proof assistant / programmer / / ProgrammingLanguage LaTeX / ML / HTML / / Technology alpha / functional programming / http / HTML / / URL http /
SocialTag |