General

Profile

Adrien Champion's activity

From 05/26/2013 to 06/24/2013

06/24/2013

11:26 AM Assumptio assumptio_v3.0.tar.gz
Assumptio v3.0, complete project with user manual. Adrien Champion

06/21/2013

05:28 PM SMT-QE qeAplas2013.tar.gz
Scala implementation used for benchmarks for APLAS 2013. Adrien Champion

05/29/2013

12:03 PM SMT-QE systems.tar.gz
Files for the Science of Computer Programming article. Adrien Champion
 

Also available in: Atom