FORmal specification of embedded systems in COLD-1

  • E.J. Dijkstra

Student thesis: Master

Abstract

Date of Award29 Feb 1992
Original languageEnglish
SupervisorD.K. Hammer (Supervisor 1), M.J. Diepstraten (Supervisor 2) & H.B.M. Jonkers (Supervisor 2)

Cite this

'