Advertisement

Formal Aspects of Computing

, Volume 31, Issue 2, pp 131–132 | Cite as

Editorial

  • Stefania Gnesi
  • Ana Cavalcanti
  • John FitzgeraldEmail author
  • Constance Heitmeyer
Editorial
  • 25 Downloads

Notes

Copyright information

© British Computer Society 2019

Authors and Affiliations

  • Stefania Gnesi
    • 1
  • Ana Cavalcanti
    • 2
  • John Fitzgerald
    • 3
    Email author
  • Constance Heitmeyer
    • 4
  1. 1.Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”National Research CouncilRomeItaly
  2. 2.Department of Computer ScienceUniversity of YorkYorkUK
  3. 3.School of ComputingNewcastle UniversityNewcastleUK
  4. 4.Center for High Assurance Computer SystemsNaval Research LaboratoryWashingtonUSA

Personalised recommendations