Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, M\oller Centre, Cambridge, 11-14 September 1994. Chris Hankin, Ian Mackie, Rajagopal Nagarajan (eds.), Imperial College Press, 1994.
@Book{imperial1994,
Title = {Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, M{\o}ller Centre, Cambridge, 11-14 September 1994},
BookTitle = {Theory and Formal Methods},
editor = {Hankin, Chris and Mackie, Ian and Nagarajan, Rajagopal},
Publisher = {Imperial College Press},
Year = {1994}
}
Get EndNote Reference (.ref)