Chris Hankin, Ian Mackie, Rajagopal Nagarajan. Preface. In Chris Hankin, Ian Mackie, Rajagopal Nagarajan, editors, 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, 1994.
@inproceedings{HankinMN94,
title = {Preface},
author = {Chris Hankin and Ian Mackie and Rajagopal Nagarajan},
year = {1994},
researchr = {https://researchr.org/publication/HankinMN94},
cites = {0},
citedby = {0},
booktitle = {Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994},
editor = {Chris Hankin and Ian Mackie and Rajagopal Nagarajan},
publisher = {Imperial College Press},
isbn = {1-86094-003-X},
}