Algebraic methodology and software technology 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, proceedings /

por International conference on algebraic methodology and software technology, Johnson, Michael., Vene, Varmo.
Publicado em 2006.

Algebraic methodology and software technology 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings /

por International Conference on Algebraic Methodology and Software Technology, Meseguer, José., Rosu, Grigore.
Publicado em c2008

Algebraic methodology and software technology : 7th International conference, AMAST '98 proceedings / Armando Martin Haeberer (coordenador).

por International Conference on Algebraic Methodology and Software Technology (AMAST '98), Haeberer, Armando Martin.
Publicado em 1999.