Open menu
TACS '97 (1997 Sendai-han, Japan)
Theoretical aspects of computer software