We are currently collecting comments, criticisms, and testimonials for the evaluation of our efforts by our public funders. If you want to share any thoughts that we may use in our report, please feel free to send us your comments!
default search action
Theory and Formal Methods 1993:
Chelwood Gate, Sussex, UK
Geoffrey L. Burn, Simon J. Gay, Mark Ryan: 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, Springer1993, ISBN 3-540-19842-3