| Datum prijs | 31 aug. 1993 |
|---|---|
| Originele taal | Engels |
| Begeleider | M. Rem (Afstudeerdocent 1) & Rudolf H. Mak (Afstudeerdocent 2) |
Citeer dit
- Standard
The development of a Hoare-style proof system for systolic computations
Scriptie/Masterproef: Master