Title of article

Model-based specification

Author/Authors

Lex Bijlsma، نويسنده ,

Issue Information

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

Pages

8

From page

77

To page

84

Keywords

Data refinement , Object orientation , Program derivation

Journal title

Information Processing Letters

Serial Year

2001

Journal title

Information Processing Letters

Record number

129315