ACM Symposium On Applied Computing 2010

F. Baude, F. Huet, #Jean-Pierre Lorré