Formal methods of program verification

Míreanna Comhchosúla

• Formal methods of program verification
  le: Berg,H.K
• Formal methods of program verification and specification
  le: H K Berg, et al.
  Foilsithe: (1982)
• Formal specification and verification of digital sytems
  le: George Milne
  Foilsithe: (1994)
• Formal Specification And Verification Of Digital Systems
  le: Milne, George
  Foilsithe: (1994)
• Formal specification and verification of digital systems /
  le: Milne, George
  Foilsithe: (1994)