Annex: A Middleware for Constructing High-Assurance Software Systems.
['Tristan Newby', 'Duncan A. Grove', 'Alex Murray', 'Chris A. Owen', 'Jim McCarthy', 'Chris J. North']
Annex: A Middleware for Constructing High-Assurance Software Systems.