José Luiz Fiadeiro, Pierre-Yves Schobbens
Education , International Conferences and SymposiumsRecent trends in algebraic development techniques: 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006; revised selected papers
Free Download
