The choice of computer languages for use in safety critical systems

• Authors:

• W. J. Cullyer;S. J. Goodenough;B. A. Wichmann

• Affiliations:

• -;-;-

• Venue:
• Software Engineering Journal - Special issue on safety-critical systems
• Year:
• 1991