Design and Proof of a Mail Service

Míreanna comhchosúla

• Algebraic Specification and Proof of Properties of a Mail Service
  de réir: Hoare, C, et al.
  Foilsithe / Cruthaithe: (1986)
• Algebraic Specification and Proof of a Distributed Recovery Algorithm
  de réir: Jifeng, H, et al.
  Foilsithe / Cruthaithe: (1987)
• Proof of a Program: FIND
  de réir: Hoare, C
  Foilsithe / Cruthaithe: (1971)
• Program Correctness Proofs
  de réir: Hoare, C
  Foilsithe / Cruthaithe: (1975)
• Proof of Correctness of Data Representations
  de réir: Hoare, C
  Foilsithe / Cruthaithe: (1972)