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