The development of a Hoare-style proof system for systolic computations

  • B.P.H.C. van Gompel

Student thesis: Master

Date of Award31 Aug 1993
Original languageEnglish
SupervisorM. Rem (Supervisor 1) & Rudolf H. Mak (Supervisor 2)

Cite this

'