Development methods for trusted computer systems

  • Authors:

  • Martyn Thomas

  • Affiliations:

  • Praxis Systems, Bath, UK

  • Venue:
  • Formal Aspects of Computing
  • Year:
  • 1989

Quantified Score

Hi-index 0.02

Visualization

Abstract