Title of article :
Calculating upward and downward simulations of state-based specifications
Author/Authors :
J. Derrick، نويسنده , , E. Boiten، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1999
Keywords :
refinement , State-based systems , Z , Calculating refinements
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology
