TITLE     : Towards the static detection of erroneus executions in Ada 95
AUTHOR(S) : Marzullo C, Mazzanti F
TYPE      : Other
YEAR      : 1996
CODE      : 408970

*** DO NOT EDIT THIS FILE ***