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

*** DO NOT EDIT THIS FILE ***