| Original language | English |
|---|---|
| Publisher | Technische Universiteit Eindhoven |
| Publication status | Published - 1997 |
AvG157: A little calculational proof, for the record
A.J.M. Gasteren, van
Research output: Other contribution › Other research output
A.J.M. Gasteren, van
Research output: Other contribution › Other research output
| Original language | English |
|---|---|
| Publisher | Technische Universiteit Eindhoven |
| Publication status | Published - 1997 |