Imperial College Workshops
Imperial College, Department of Computing
Theory and Formal Methods 1994: Cambridge, UK
Chris Hankin, Ian Mackie, Rajagopal Nagarajan (Eds.):
Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994.
Imperial College Press 1995, ISBN 1-86094-003-X
Contents 
Theory and Formal Methods 1993: Chelwood Gate, Sussex, UK
Geoffrey L. Burn, Simon J. Gay, Mark Ryan (Eds.):
Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993.
Workshops in Computing Springer 1993, ISBN 3-540-19842-3
Contents
Last update Sat May 25 03:39:00 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
