Formal derivations of non-blocking multiprograms

  • A.J. Mooij

Student thesis: Master

Abstract

Date of Award31 Aug 2002
Original languageEnglish
SupervisorW.H.J. Feijen (Supervisor 1)

Cite this

'