The Weakest Prespecification II

Míreanna comhchosúla

• The Weakest Prespecification
  de réir: Hoare, C, et al.
  Foilsithe / Cruthaithe: (1987)
• The Weakest Prespecification I
  de réir: Hoare, C, et al.
  Foilsithe / Cruthaithe: (1986)
• Prespecification in Data Refinement
  de réir: Hoare, C, et al.
  Foilsithe / Cruthaithe: (1987)
• On the weakest failure detector ever
  de réir: Kuznetsov, Petr, et al.
  Foilsithe / Cruthaithe: (2010)
• Man as the weakest link information security
  de réir: Joanna Skulska, et al.
  Foilsithe / Cruthaithe: (2021-03-01)