Title of article :
Annotation inference for modular checkers
Author/Authors :
Cormac Flanagan، نويسنده , , Rajeev Joshi، نويسنده , , K. Rustan M. Leino، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2001
Pages :
12
From page :
97
To page :
108
Keywords :
Program correctness , Annotation inference , Program specification , Modular program checking
Journal title :
Information Processing Letters
Serial Year :
2001
Journal title :
Information Processing Letters
Record number :
129318
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=129318
بازگشت