Search results for: Hervé Caussinus
Lecture Notes in Computer Science > Foundation of Software Technology and Theoretical Computer Science > 36-47
Journal of Computer and System Sciences > 1998 > 57 > 2 > 200-212
Information Processing Letters > 1996 > 58 > 1 > 31-33