Theoretical Aspects of Computer Software (TACS)

4. TACS 2001: Sendai, Japan

3. TACS 1997: Sendai, Japan

2. TACS 1994: Sendai, Japan

1. TACS 1991: Sendai, Japan