(1993). Theory and formal methods: 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 / Geoffrey Burn, Simon Gay, and Mark Ryan (eds.).
Chicago-Zitierstil (17. Ausg.)Theory and Formal Methods: 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 / Geoffrey Burn, Simon Gay, and Mark Ryan (eds.). 1993.
MLA-Zitierstil (9. Ausg.)Theory and Formal Methods: 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 / Geoffrey Burn, Simon Gay, and Mark Ryan (eds.). 1993.