Title of article
Virginity: A contribution to the specification of object-oriented software
Author/Authors
K. Rustan M. Leino، نويسنده , , Raymie Stata، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1999
Pages
7
From page
99
To page
105
Keywords
Specification languages , Formal semantics , Staticprogram checking , program specification , Object-oriented programming , Program verification
Journal title
Information Processing Letters
Serial Year
1999
Journal title
Information Processing Letters
Record number
129074
Link To Document