by Gerhard Goos, Juris Hartmanis, Armando M. Haeberer
AMAST’s goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology. Ten years and seven conferences after the start of the AMAST movem…