Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop - Hankin C Et Al (ICP, 1995)
Keywords: Computer Science