IEEE SOFTWARE UK government groups. GEC Alsthom has used B in two subsequent applica tions: a transportation system in Calcutta, India, and a safety net to protect against driver failure on all the electrified lines operated by the French national railways authority. • REFERENCES 1. C.AR. Hoare, 'IAn Axiomatic Basis for Computer Program ming,"Comm.ACM,Oct… (More)
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.