Editors

Editor-in-Chief

• Bernhard Steffen

Series Editor

• Michael Felderer
• Klaus Havelund
• Mike Hinchey
• Reiner Hähnle
• Axel Legay
• Tiziana Margaria
• Arend Rensink
• Stavros Tripakis
• Martin Wirsing