Title of article
Semantic characterisation of dead control-flow paths
Author/Authors
Hayes، نويسنده , , I.; Fidge، نويسنده , , C.; Lermer، نويسنده , , K.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
12
From page
175
To page
186
Journal title
IEE Proceedings Software
Serial Year
2001
Journal title
IEE Proceedings Software
Record number
351911
Link To Document