International Workshop on Algebraic Development Techniques (workshop)

User Publication Person Organisation Collection