Skip to main content
Log in
Formal Aspects of Computing

Applicable Formal Methods

Publishing model:
Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.
Search all Formal Aspects of Computing articles

Volume 24, Issue 4-6

July 2012

Celebrating the 60th Birthday of Carroll Morgan

Issue Editors:
  • Peter Höfner,
  • Rob van Glabbeek,
  • Ian Hayes
22 articles in this issue
  1. Preface

    • P. Höfner
    EditorialNotes 29 June 2012 Pages: 417 - 422

Navigation