TITLE     : A comparison between handwritten and automatic generation of C code from SDL using static analysis
AUTHOR(S) : Becucci M, Fantechi A, Giromini M, Spinicci E
TYPE      : Journal article
YEAR      : 2005
CODE      : 43794

*** DO NOT EDIT THIS FILE ***