Title of article
Transformational data refinement and VDM
Author/Authors
DJ Andrews، نويسنده , , DC Ince، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 1995
Pages
15
From page
637
To page
651
Keywords
equivalent specifications , refinement , Program development , Program correctness , Program transformation , refinement calculus
Journal title
Information and Software Technology
Serial Year
1995
Journal title
Information and Software Technology
Record number
134352
Link To Document