Title of article :
Verification by Augmented Finitary Abstraction
Author/Authors :
Yonit Kesten، نويسنده , , Amir Pnueli، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Journal title :
Information and Computation
Journal title :
Information and Computation
