Title of article
A logic-based approach to program flow analysis
Author/Authors
Mooly Sagiv، نويسنده , , Nissim Francez، نويسنده , , Michael Rodeh and Reinhard Wilhelm ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
48
From page
457
To page
504
Journal title
acta Informatica
Serial Year
1998
Journal title
acta Informatica
Record number
287634
Link To Document