TY - BOOK
T1 - Algebraic methodology and software technology
T2 - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised selected papers
A2 - Johnson, Michael
A2 - Pavlovic, Dusko
PY - 2011
Y1 - 2011
N2 - This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in"Lac-Beauport, QC, Canada, in June 2010.
The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.
AB - This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in"Lac-Beauport, QC, Canada, in June 2010.
The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.
KW - Software engineering
KW - Abstract data types (Computer science)
U2 - 10.1007/978-3-642-17796-5
DO - 10.1007/978-3-642-17796-5
M3 - Edited Book/Anthology
T3 - Lecture notes in computer science
BT - Algebraic methodology and software technology
PB - Springer, Springer Nature
CY - Berlin
ER -