Home Discussions10 of 44 messages view all » Looking for new maintainer(s) By Catalin Hritcu - Apr 10 - 1 author - 0 replies Expi2Java paper published at NFM 2012 By Catalin Hritcu - Apr 10 - 1 author - 0 replies Released Expi2Java 1.6 and Formalization By Alex - May 12 2011 - 1 author - 0 replies Expi2Java 1.5 released By Alex - Jul 29 2009 - 1 author - 0 replies Expi2Java 1.4 released By Alex - May 6 2009 - 1 author - 0 replies Expi2Java 1.3 released By Alex - Apr 21 2009 - 1 author - 0 replies Expi2Java 1.2 released By Alex - Mar 17 2009 - 1 author - 0 replies Expi2Java 1.1 released By Alex - Mar 7 2009 - 1 author - 0 replies expi2java manual draft By Catalin Hritcu - Feb 10 2009 - 1 author - 0 replies Expi2Java 1.0 released By Alex - Dec 9 2008 - 1 author - 0 replies Report this group   XML       Send email to this group: expi2java@googlegroups.com