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 /
Imperial College Department of Computing Workshop on Theory and Formal Methods(1st :1993 :Chelwood Gate, England)
Burn, Geoffrey.
Gay, Simon,1969-
Ryan, Mark,1962-
Imperial College of Science, Technology, and Medicine (Great Britain).Department of Computing.
British Computer Society.
London ; New York : Springer-Verlag,
c1993.
"Published in collaboration with the British Computer Society.
Includes bibliographical references and index.
Electronic digital computers