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

Bằng International conference on algebraic methodology and software technology, Johnson, Michael., Vene, Varmo.
Được phát hành 2006.

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

Bằng International Conference on Algebraic Methodology and Software Technology, Meseguer, José., Rosu, Grigore.
Được phát hành c2008

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

Bằng International Conference on Algebraic Methodology and Software Technology (AMAST '98), Haeberer, Armando Martin.
Được phát hành 1999.