Travelled to:1 × Denmark
Collaborated with:S.Mauw
Talks about:introduct (1) assist (1) proof (1) psf (1)
Person: Gert J. Veltink
DBLP: Veltink:Gert_J=
Contributed to:
1991
1989Wrote 2 papers:
- CAV-1991-MauwV #proving
- A Proof Assistant for PSF (SM, GJV), pp. 158–168.
- CCIPL-1989-MauwV
- An Introduction to PSFd (SM, GJV), pp. 272–285.