Algebraic methodology and software technology proceedings - Rattray Charles ed.; International Conference on Algebraic Methodology and Software Technology, AMAST 2004; International conference on algebraic methodology and software technology, AMAST 2004 Stirling, Scotland 12-16 Jul 2004 (Berlin Springer-Verlag, 2004)
Keywords: Computer software