An improved and extended formal verification tool

  • W.A. den Braven

Student thesis: Master

Date of Award31 Aug 1992
Original languageEnglish
SupervisorJ.A.G. Jess (Supervisor 1)

Cite this

Documents

  • full text

    File: application/pdf, 1.79 MB

    Type: Thesis

'