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

*** DO NOT EDIT THIS FILE ***