Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers - Pavlovic, Dusko; Johnson, Michael; AMAST 2010. 2010 : Lac-Beauport, QC, Canada) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Software engineering; Logic design; Artificial intelligence