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

*** DO NOT EDIT THIS FILE ***