Title of article :
Transformational data refinement and VDM
Author/Authors :
DJ Andrews، نويسنده , , DC Ince، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1995
Keywords :
equivalent specifications , refinement , Program development , Program correctness , Program transformation , refinement calculus
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology
