The Why3 platform Version, May 2015 François Bobot1,2 Jean-Christophe Filliâtre1,2

First Page		Document Content
Date: 2015-05-22 01:14:27 Proof assistants Functional languages Theoretical computer science Formal methods Logic in computer science Frama-C SPARK Coq Isabelle OCaml Formal verification French Institute for Research in Computer Science and Automation		The Why3 platform Version, May 2015 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Download Document from Source Website File Size: 1,17 MB Share Document on Facebook

	Accelerating Big Data Processing with Hadoop, Spark and Memcached Talk at HPC Advisory Council Switzerland Conference (Mar ‘15) by Dhabaleswar K. (DK) Panda The Ohio State University DocID: 1xVBp - View Document
	PDF Document DocID: 1xF1U - View Document
	PDF Document DocID: 1xDED - View Document
	PDF Document DocID: 1xxcQ - View Document
	PDF Document DocID: 1xsUh - View Document