Jules Desharnais profile picture

Jules Desharnais

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Computer Program Construction
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Relational and Algebraic Methods in Computer Science
Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings