Miguel Palomino

1 published title

Recent trends in algebraic development techniques : 21st international workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers

(Contributor)

1 edition