Title of article

Formal development in B abstract machine notation

Author/Authors

K Lano، نويسنده , , H Haughton، نويسنده ,

Issue Information

ماهنامه با شماره پیاپی سال 1995

Pages

14

From page

303

To page

316

Keywords

formal development. industrial application of formal methods , B AMN

Journal title

Information and Software Technology

Serial Year

1995

Journal title

Information and Software Technology

Record number

134324