AlphaZ Posted on December 10, 2014 by Paul Feautrier AlphaZ LIP 316 , 10 décembre 2014 Tomofumi Yuki, inria/compsys