| Document Date: 2015-02-05 02:16:49 Open Document File Size: 1,07 MBShare Result on Facebook
NaturalFeature Krakatoa / / Organization European Union / / Person Coq A bit / Jean-Christophe FilliĆ¢tre / / Position end Why3 theories Alt-Ergo driver / driver / transformations driver for each prover / / ProgrammingLanguage Java / / Technology API / Java / /
SocialTag |