Algebraic Methodology and Software Technology - int. Conf. , 2000
Algebraic methodology and software technology. 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000. - Springer Verlag, 2000. - (Lecture Notes in Computer Science; 1816).
Algebraic Methodology and Software Technology - int. Conf. , 1996
Algebraic methodology and software technology. 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996. Proceedings. - Springer Verlag, 1996. - (Lecture Notes in Computer Science; 1101).
Algebraic Methodology and Software Technology - int. Conf. , 1995
Models and proofs. AMAST workshop on real-time systems and opération inter-PRC "modèles et preuves", LaBRI, Université Bordeaux 1, June 14-16, 1995. - Université Bordeaux 1, 1995.