Browse by organisation - Workshop on Recent Trends in Algebraic Development Techniques