Title of article
Calculating upward and downward simulations of state-based specifications
Author/Authors
J. Derrick، نويسنده , , E. Boiten، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 1999
Pages
7
From page
917
To page
923
Keywords
refinement , State-based systems , Z , Calculating refinements
Journal title
Information and Software Technology
Serial Year
1999
Journal title
Information and Software Technology
Record number
134657
Link To Document