Home › Authors › Imperial College Department of Computing Workshop on Theory and Formal Methods (1st 1993 Chelwood Gate, England) 👤 Imperial College Department of Computing Workshop on Theory and Formal Methods (1st 1993 Chelwood Gate, England) 1 book Books by Imperial College Department of Computing Workshop on Theory and Formal Methods (1st 1993 Chelwood Gate, England) Theory and formal methods 1993 1993