Netty van Gasteren





Netty's PhD thesis


Selected AvGs

Number Title Other Contributors
AvG134 A small relational proof, for the record