dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Part 1: Overview and Introductory Papers

Part 2: Research Papers

Copyright © Tue Mar 16 02:15:05 2010 by Michael Ley (ley@uni-trier.de)