Algebraic Methodology and Software Technology‚ 13th International Conference‚ AMAST 2010‚ Lac−Beauport‚ QC‚ Canada‚ June 23−25‚ 2010‚ Revised Selected Papers
Book Title
AMAST
Editor
Michael Johnson and Dusko Pavlovic
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6486
Year
2011