Programming Language Evaluation Criteria for Safety-Critical Software in the Air Domain.

Rob Ashmore, Andrew Howe, Rhiannon Chilton, Shamal Faily

Browse the full ISSRE paper archive.