Title of article

Easy verification of behavioural subtyping in common cases

Author/Authors

Greg Butler، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 1995

Pages

2

From page

57

To page

58

Keywords

Program correctness , Formal semantics , Software engineering

Journal title

Information Processing Letters

Serial Year

1995

Journal title

Information Processing Letters

Record number

128298