Normal view
MARC view
Computer Science(Topical Term)
Machine generated authority record
Work cat.: (OSt)1548013: Hankin C Et Al 967048, Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop