234 followers
Termination Competition (termCOMP 2015). - Jürgen Giesl, Frédéric Mesnard, Albert Rubio, René Thiemann, Johannes… http://t.co/LTpLfwHOvO
Termination Competition (termCOMP 2015). - Jürgen Giesl, Frédéric Mesnard, Albert Rubio, René Thiemann, Johannes… http://t.co/LTpLfwHOvO