Data Refinement Refined: Resume

Míreanna comhchosúla

• Data Refinement Refined
  de réir: Hoare, C, et al.
  Foilsithe / Cruthaithe: (1985)
• Prespecification in Data Refinement
  de réir: Hoare, C, et al.
  Foilsithe / Cruthaithe: (1987)
• Natural Transformations and Data Refinement
  de réir: Hoare, C, et al.
  Foilsithe / Cruthaithe: (2015)
• Data Refinement in a Categorical Setting
  de réir: Hoare, C
  Foilsithe / Cruthaithe: (1987)
• Data Refinement in a Categorical Setting
  de réir: Hoare, C
  Foilsithe / Cruthaithe: (1987)