A. Marpinard

• Design of dependable Ada software