AstrÉe: Verification of Absence of Runtime ErrorMauborgne, Laurent·2008·IFIP International Federation for Information ProcessingDOI 10.1007/978-1-4020-8157-6_30