@proceedings{DBLP:conf/amast/2008,
editor = {Jos{\'e} Meseguer and
Grigore Rosu},
title = {Algebraic Methodology and Software Technology, 12th International
Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008,
Proceedings},
booktitle = {AMAST},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5140},
year = {2008},
isbn = {978-3-540-79979-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2006-07-07 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
