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

door International conference on algebraic methodology and software technology, Johnson, Michael., Vene, Varmo.
Gepubliceerd in 2006.

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

door International Conference on Algebraic Methodology and Software Technology, Meseguer, José., Rosu, Grigore.
Gepubliceerd in c2008

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

door International Conference on Algebraic Methodology and Software Technology (AMAST '98), Haeberer, Armando Martin.
Gepubliceerd in 1999.