Jie Ding

Showing the single result

[PDF] Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.)