Chris Hankin, Ian Mackie, Rajagopal Nagarajan (Eds.):
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 1995, ISBN 1-86094-003-X
Monday, 12 September 1994
Tuesday, 13 September 1994
Wednesday, 14 September 1994
Last update Sat May 25 03:39:00 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page