
cover from: Google Books
Recent trends in algebraic development techniques : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers
Andrea Corradini, Ugo Montanari (eds.).
2009
91556
isbn:9783642034299|isbn:3642034292