Theory and Formal Methods 1993

Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Center, Chelwood Gate, Sussex, UK, 29-31 March 1993