Title of article
Verification by Augmented Finitary Abstraction
Author/Authors
Yonit Kesten، نويسنده , , Amir Pnueli، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
41
From page
203
To page
243
Journal title
Information and Computation
Serial Year
2000
Journal title
Information and Computation
Record number
261932
Link To Document