| Original language | English |
|---|---|
| Publisher | Technische Universiteit Eindhoven |
| Publication status | Published - 1996 |
WF222: An exercise given by Rutger M. Dijkstra
W.H.J. Feijen
Research output: Other contribution › Other research output
W.H.J. Feijen
Research output: Other contribution › Other research output
| Original language | English |
|---|---|
| Publisher | Technische Universiteit Eindhoven |
| Publication status | Published - 1996 |