Algebraic Methodology and Software Technology
Subtitle: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2011
Language: eng
ISBN-13: 9783642177965