مرکز منطقه ای اطلاع رساني علوم و فناوري - Virginity: A contribution to the specification of object-oriented software

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 :

From page :

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 :