9th International Conference on Algebraic Methodology And Software Technology
The AMAST'2002 Home Page