Advertisement

Formal Aspects of Computing

, Volume 13, Issue 3–5, pp 187–193 | Cite as

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science

  • DAVID E. RYDEHEARD
  • DONALD T. SANNELLA
Preface

Formal Aspects of Computing

are dedicated to Professor Rod Burstall, and, as a collection of papers, memoirs and incidental pieces, form a Festschrift for Rod. The contributions are made by some of the many who know Rod and have been in uenced by him. The research papers included here represent some of the areas in which Rod has been active, and the editors thank their colleagues for agreeing to contribute to this Festschrift.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 2002

Authors and Affiliations

  • DAVID E. RYDEHEARD
  • DONALD T. SANNELLA

There are no affiliations available

Personalised recommendations