(2013). Recent trends in algebraic development techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers / Narciso Martí-Oliet, Miguel Palomino (eds.).
Chicago Style (17th ed.) CitationRecent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : Revised Selected Papers / Narciso Martí-Oliet, Miguel Palomino (eds.). 2013.
MLA (9th ed.) CitationRecent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : Revised Selected Papers / Narciso Martí-Oliet, Miguel Palomino (eds.). 2013.
Warning: These citations may not always be 100% accurate.