Gert J. Veltink

	1993
5		Gert J. Veltink: The PSF Toolkit. Computer Networks and ISDN Systems 25(7): 875-898 (1993)
	1991
4		Sjouke Mauw, Gert J. Veltink: A Proof Assistant for PSF. CAV 1991: 158-168
3		Gert J. Veltink: XP, an Experiment in Modular Specification. FORTE 1991: 149-164
	1989
2		Jos C. M. Baeten, Jan A. Bergstra, Sjouke Mauw, Gert J. Veltink: A Process Specification Formalism Based on Static COLD. Algebraic Methods 1989: 303-335
1		Sjouke Mauw, Gert J. Veltink: An Introduction to PSFd. TAPSOFT, Vol.2 1989: 272-285

Coauthor Index

1	Jos C. M. Baeten	[2]
2	Jan A. Bergstra	[2]
3	Sjouke Mauw	[1] [2] [4]