FORmal specification of embedded systems in COLD-1

  • E.J. Dijkstra

Scriptie/Masterproef: Master

Datum prijs29 feb. 1992
Originele taalEngels
BegeleiderD.K. Hammer (Afstudeerdocent 1), M.J. Diepstraten (Afstudeerdocent 2) & H.B.M. Jonkers (Afstudeerdocent 2)

Citeer dit

'