Title of article :
Formal development in B abstract machine notation
Author/Authors :
K Lano، نويسنده , , H Haughton، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1995
Keywords :
formal development. industrial application of formal methods , B AMN
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology
