Theory and Formal Methods 1993 : Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods

<b>Theory and Formal Methods 1993</b> provides an overview of work done by one of the worlds leading research centres. It will be of interest to researchers and practitioners, as well as undergraduate and postgraduate students.