Kobayashi, Naoki. Ed. Pierce, Benjamin C. Ed.
Theoretical Aspects of Computer Software, Proceedings of the 4th International Symposium, Japan, 2001 - USA Springer 2001 - 559 - Lecture notes in computer science ; 02215 .
3540427368
Theoretical Aspects
Computer Software
681 LNCS
Theoretical Aspects of Computer Software, Proceedings of the 4th International Symposium, Japan, 2001 - USA Springer 2001 - 559 - Lecture notes in computer science ; 02215 .
3540427368
Theoretical Aspects
Computer Software
681 LNCS