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

द्वारा International conference on algebraic methodology and software technology, Johnson, Michael., Vene, Varmo.
प्रकाशित 2006.

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

द्वारा International Conference on Algebraic Methodology and Software Technology, Meseguer, José., Rosu, Grigore.
प्रकाशित c2008

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

द्वारा International Conference on Algebraic Methodology and Software Technology (AMAST '98), Haeberer, Armando Martin.
प्रकाशित 1999.