Towards an Automotive 'Safer Subset' of C.

P. D. Edwards, R. S. Rivett, G. F. McCall

Browse the full SAFECOMP paper archive.