Title of article

Specification and Animation of a Bank Transfer using KIDS/VDM

Author/Authors

Yves Ledru، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 1997

Pages

19

From page

33

To page

51

Keywords

software explanation , Software understanding , Hypertext , world wide web

Journal title

Automated Software Engineering

Serial Year

1997

Journal title

Automated Software Engineering

Record number

307005